Ananda Guneratne

According to our database, Ananda Guneratne authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Project Report: Dependently Typed Programming with Lambda Encodings in Cedille.

Ananda Guneratne, Chad Reynolds, Aaron Stump

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016