Dependently typed programming in agda

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5832 LNCS, Issue , 2009, Pages 230-266

  Norell, Ulf ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY VALUES; HASKELL; STYLE LANGUAGES;

LINGUISTICS; QUERY LANGUAGES;

FUNCTIONAL PROGRAMMING;

EID: 70549110123     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04652-0_5     Document Type: Conference Paper

References (6)

1. The Agda mailing list (2008), https://lists.chalmers.se/mailman/listinfo/ agda
2. The Agda wiki (2008), http://www.cs.chalmers.se/~ulfn/Agda
3. Altenkirch, T., McBride, C., McKinna, J.: Why dependent types matter. Manuscript (April 2005)
4. McBride, C., McKinna, J.: The view from the left. Journal of Functional Programming 14(1), 69-111 (2004)
5. Norell, U.: Towards a practical programming language based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden (September 2007)
6. Oury, N., Swierstra, W.: The power of pi. In: Accepted for presentation at ICFP (2008)