Revision as of 12:21, 18 March 2006 edit Jitse Niesen (talk \| contribs) Extended confirmed users 17,194 edits m format ← Previous edit		Revision as of 12:51, 9 May 2006 edit undo 195.176.178.209 (talk) →References Next edit →
Line 21: * A. Abel, et al. Verifying [[Haskell (programming)\|Haskell]] Programs Using Constructive [[Type Theory]], ACM SIGPLAN Workshop Haskell'05, Tallinn, Estonia, 30 September, 2005 http://www.tcs.informatik.uni-muenchen.de/~abel/haskell05.pdf * M. Benke et al. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing, 10(4):265-289, 2003. http://www.cs.chalmers.se/~marcin/Papers/universes.pdf

Agda (programming language): Difference between revisions