GitHub - shazqadeer/popl2015: POPL 2015 CIVL submission

Name		Name	Last commit message	Last commit date
Latest commit History 395 Commits
cav-artifact-eval		cav-artifact-eval
cav-final-version		cav-final-version
cav-submission		cav-submission
techreport		techreport
VerifiedGC.pdf		VerifiedGC.pdf
VerifiedGC.pptx		VerifiedGC.pptx
YieldTypeCheckingAutomaton.pdf		YieldTypeCheckingAutomaton.pdf
YieldTypeCheckingAutomaton.pptx		YieldTypeCheckingAutomaton.pptx
appendix.tex		appendix.tex
examples.tex		examples.tex
gc.tex		gc.tex
gcbib.bib		gcbib.bib
gcverify.tex		gcverify.tex
intro.tex		intro.tex
language.tex		language.tex
macros.tex		macros.tex
mathpartir.sty		mathpartir.sty
paper.bib		paper.bib
paper.tex		paper.tex
refinementExample.tex		refinementExample.tex
related.tex		related.tex
sigplanconf.cls		sigplanconf.cls
supplement.tex		supplement.tex
verification.tex		verification.tex