reftype

Twelf proof for a Java-based effect type system which delegates to Boyland's Fractional Permission system

Name		Name	Last commit message	Last commit date
Latest commit History 730 Commits
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
before-read.elf		before-read.elf
call.elf		call.elf
clsmap-base.elf		clsmap-base.elf
clsmap.cpp		clsmap.cpp
clsmap2predmap.elf		clsmap2predmap.elf
cond.elf		cond.elf
consistency.elf		consistency.elf
conversion.elf		conversion.elf
conversion.thm		conversion.thm
cxt-base.elf		cxt-base.elf
cxt.cpp		cxt.cpp
example.elf		example.elf
fldmap-base.elf		fldmap-base.elf
fldmap.cpp		fldmap.cpp
let-more.elf		let-more.elf
let.elf		let.elf
log.org		log.org
make-set-import.rb		make-set-import.rb
methmap-base.elf		methmap-base.elf
methmap.cpp		methmap.cpp
predmap-base.elf		predmap-base.elf
predmap.cpp		predmap.cpp
read.elf		read.elf
reftype.elf		reftype.elf
seq.elf		seq.elf
set-conversion.elf		set-conversion.elf
set-import.elf		set-import.elf
set-renaming.rb		set-renaming.rb
sources.cfg		sources.cfg
sub.elf		sub.elf
subtyping.elf		subtyping.elf
test-reftyping.elf		test-reftyping.elf
typing.elf		typing.elf
utils.elf		utils.elf
write.elf		write.elf

Provide feedback