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]
Abstract is missing.