Type erasure

#	Item
1	Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Computer science Applied mathematics
2	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
3	Applied Type Erasure in Qt 5 Stephen Kelly KDAB Stephen Kelly Add to Reading List Source URL: devdays.kdab.com Language: English - Date: 2013-11-18 09:07:25 Jinja Jacobi eigenvalue algorithm Welcome Back Template engines PHP programming language
4	LNCS[removed]Erasure and Polymorphism in Pure Type Systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-11-13 13:58:09 Theoretical computer science Models of computation Type erasure Proof theory Lambda calculus Valuation Type system Admissible rule Natural deduction Mathematical logic Mathematics Type theory