Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
102 Phantom Types – James Cheney, Ralf Hinze - 2003
15 Applied type system – Hongwei Xi - 2004
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
33 Fun with phantom types – R Hinze - 2003
48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
29 Indexed types – C Zenger - 1997
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
132 Qualified types: Theory and practice – M P Jones - 1992
151 The view from the left – Conor McBride, James McKinna
69 Languages of the Future – Tim Sheard - 2004
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
31 Type-Safe Cast: Functional Pearl – Stephanie Weirich - 2000
37 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006