• 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

Related searches:

Search whole site: site:www.cs.st-and.ac.uk

Search title: School of Computer Science - University of St Andrews

See how to search.