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.

Project Report: Dependently Typed Programming with Lambda Encodings in Cedille

Ananda Guneratne, Chad Reynolds, Aaron Stump. Project Report: Dependently Typed Programming with Lambda Encodings in Cedille. In David Van Horn, John Hughes, editors, Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Volume 10447 of Lecture Notes in Computer Science, pages 115-134, Springer, 2016. [doi]

Authors

Ananda Guneratne

This author has not been identified. Look up 'Ananda Guneratne' in Google

Chad Reynolds

This author has not been identified. Look up 'Chad Reynolds' in Google

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google
runs on