Sequent calculus as a compiler intermediate language

Article Details
Title:	Sequent calculus as a compiler intermediate language
Article URLs:	https://doi.org/10.1145/2951913.2951931
Alternative Article URLs:	http://ix.cs.uoregon.edu/~pdownen/publications/scfp_ext.pdf
Authors:	Paul Downen	University of Oregon
	Luke Maurer	University of Oregon
	Zena M. Ariola	University of Oregon
	Simon Peyton Jones	Microsoft Research Cambridge
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://github.com/lukemaurer/sequent-core
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1423617
DBLP Key:	conf/icfp/DownenMAJ16
Author Comments:

ACM SIGPLAN International Conference on Functional Programming, ICFP 2016