discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Idris, a language with dependent types
http://www.cs.st-and.ac.uk/~eb/idris/
8 comments
14/3/2008
programming
Lambda the Ultimate
Practical Implementation of a Dependently Typed Functional Programming Language
http://www.cs.st-and.ac.uk/~eb/writings/thesis.pdf
1 comment
14/4/2009
Functional , Type Theory