External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Sequent calculus as a compiler intermediate language

Paul Downen, Luke Maurer, Zena M. Ariola, Simon L. Peyton Jones. Sequent calculus as a compiler intermediate language. In Jacques Garrigue, Gabriele Keller, Eijiro Sumii, editors, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. pages 74-88, ACM, 2016. [doi]

Authors

Paul Downen

This author has not been identified. Look up 'Paul Downen' in Google

Luke Maurer

This author has not been identified. Look up 'Luke Maurer' in Google

Zena M. Ariola

This author has not been identified. Look up 'Zena M. Ariola' in Google

Simon Peyton Jones

Identified as Simon L. Peyton Jones
runs on