A Lightweight Implementation of Generics and Dynamics (2002)

by James Cheney , Ralf Hinze
Citations:74 - 6 self

Active Bibliography

3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
11 Programming With Types – Stephanie Claudene Weirich - 2002
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
5 Type-based termination of generic programs – Andreas Abel - 2007
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
18 An open and shut typecase – Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich - 2004
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
4 The Essence of Strategic Programming An inquiry into trans-paradigmatic genericity – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
9 Type-Safe Distributed Programming for OCaml – John Billings , Peter Sewell, Mark Shinwell, Rok Strnisa - 2006
Unifying Nominal and Structural Ad-hoc Polymorphism – Geoffrey Washburn, Stephanie Weirich - 2004
102 Phantom Types – James Cheney, Ralf Hinze - 2003
Languages – Dominic Duggan
12 Sound and Complete Elimination of Singleton Kinds – Karl Crary - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
187 Dynamic Software Updating – Michael Hicks - 2001