Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl (2001)

Cached

Download Links

by Tim Sheard
Citations:14 - 1 self

Active Bibliography

Two-Level Types and Parameterized Modules (Functional Pearls) – Tim Sheard, Emir Pasalic - 2002
8 Two-level types and parameterized modules – Tim Sheard, Emir Pasalic - 2003
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
11 Programming With Types – Stephanie Claudene Weirich - 2002
13 Polytypic Programming With Ease – Ralf Hinze - 1999
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
19 Named Instances for Haskell Type Classes – Wolfram Kahl, et al.
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
31 The next 700 data description languages – Kathleen Fisher, Yitzhak Mandelbaum, David Walker - 2006
1 Jones.Scrap your boilerplate: a practical design pattern for generic programming.In Types – Generic Programming, Simon Peyton Jones, Ralf Lämmel, Ralf Lämmel - 2003
2 What is generic programming – Gabriel Dos Reis
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
9 Distinguishing Data Structures and Functions: the Constructor Calculus and Functorial Types – C. Barry Jay - 2001
A Dual Semantics for the Data Description Calculus (Extended Abstract) – Kathleen Fisher , Yitzhak Mandelbaum, David Walker
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
Domain-Specific Embedded Languages – Kevin Backhouse - 2002