Dependently Typed Programming in Agda
Top Cited Papers
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The power of PiPublished by Association for Computing Machinery (ACM) ,2008
- The view from the leftJournal of Functional Programming, 2004