Content deleted Content added
Line 20:
* C. Coquand et al. An emacs-interface for type directed support constructing proofs and programs. ENTCS 2006.
* 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
| |||