Dependently Typed Programming in Agda
Author:
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 230-266
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The power of Pi2008
- The view from the leftJournal of Functional Programming, 2004