ACM SIGPLAN International Conference on Functional Programming, ICFP 2016


Article Details
Title: Sequent calculus as a compiler intermediate language
Article URLs:
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:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1423617
DBLP Key: conf/icfp/DownenMAJ16
Author Comments:

Discuss this paper and its artifacts below