discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lambda the Ultimate
Sage: A Programming Language With Hybrid Type-Checking
http://sage.soe.ucsc.edu
5 comments
4/6/2006
Functional , Implementation , Meta-Programming , Type Theory