site:sage.soe.ucsc.edu - discu.eu

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

Linking pages

type-systems/refined_types at master · tomprimozic/type-systems · GitHub https://github.com/tomprimozic/type-systems/tree/master/refined_types 31 comments