A Brief Overview of Agda - A Functional Language with Dependent Types

Ana Bove, Peter Dybjer, Ulf Norell. A Brief Overview of Agda - A Functional Language with Dependent Types. In Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel, editors, Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Volume 5674 of Lecture Notes in Computer Science, pages 73-78, Springer, 2009. [doi]

Authors

Ana Bove

This author has not been identified. Look up 'Ana Bove' in Google

Peter Dybjer

This author has not been identified. Look up 'Peter Dybjer' in Google

Ulf Norell

Identified as Ulf Norell