Pure Subtype Systems | Lambda the UltimatePure Subtype Systems, by DeLesley S. Hutchins: This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing. Proper types and typing are completely absent from the theory; the subtype relation is defined directly over ob
The Size-Change Termination Principle for Constructor Based Languages | Lambda the Ultimate
rise4fun
Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations | Lambda the Ultimate
Generative Type Abstraction and Type-level Computation | Lambda the Ultimate
http://personal.cis.strath.ac.uk/~adam/type-inference/type-inference.pdf
Photo Tourism: Microsoft Research, Interactive Visual Media Group
