A Lightweight Implementation of Generics and Dynamics (2002)

by James Cheney , Ralf Hinze
Citations:72 - 5 self

Active Bibliography

3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
Datatype-Generic Programming 2006 – Ralf Hinze, Andres Löh
11 Programming With Types – Stephanie Claudene Weirich - 2002
60 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
206 Dynamic Software Updating – Michael Hicks - 2001
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000