Active Bibliography

2 Unifying Object-Oriented Programming with Typed Functional Programming – Hongwei Xi - 2002
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
11 Programming With Types – Stephanie Claudene Weirich - 2002
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
102 Compiling with Types – Greg Morrisett - 1995
6 A Design for Type-Directed Programming in Java – Stephanie Weirich, Liang Huang - 2004
18 An open and shut typecase – Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich - 2004
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
1 Intensional analysis of quantified types – Bratin Saha, Valery Trifonov, Zhong Shao - 2000
44 Fully Reflexive Intensional Type Analysis – Valery Trifonov, Bratin Saha, Zhong Shao - 2000
44 Dynamic Opacity for Abstract Types – Andreas Rossberg
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
22 Meta-programming through typeful code representation – Chiyan Chen, Hongwei Xi - 2003
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996