|
3
|
Generic programming, now
– Ralf Hinze, Andres Löh
- 2006
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
53
|
Type-Indexed Data Types
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2004
|
|
|
Yet Another Generic Haskell
– Ralf Lämmel, Joost Visser
|
|
4
|
Type-based termination of generic programs
– Andreas Abel
- 2007
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
17
|
Sharing in Typed Module Assembly Language
– Dominic Duggan
- 2000
|
|
16
|
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
|
|
2
|
The Essence of Strategic Programming An inquiry into trans-paradigmatic genericity
– Ralf Lämmel, Eelco Visser, Joost Visser
- 2002
|
|
10
|
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
|
|
91
|
Phantom Types
– James Cheney, Ralf Hinze
- 2003
|
|
11
|
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
|
|
154
|
Dynamic Software Updating
– Michael Hicks
- 2001
|
|
1
|
Automatic visualization of recursion trees: a case study on generic programming
– Alcino Cunha
|
