|
70
|
A Lightweight Implementation of Generics and Dynamics
– James Cheney, Ralf Hinze
- 2002
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
38
|
Encoding types in ML-like languages
– Zhe Yang
- 1998
|
|
2
|
Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language
– Thomas Noort, Peter Achten, Rinus Plasmeijer
|
|
16
|
Type-Safe Linking with Recursive DLLs and Shared Libraries
– Dominic Duggan
- 2001
|
|
17
|
Sharing in Typed Module Assembly Language
– Dominic Duggan
- 2000
|
|
4
|
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
– Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen Van Weelden
- 2005
|
|
4
|
Automatic Generation of Editors for Higher-Order Data Structures
– P. Achten, M. Van Eekelen, R. Plasmeijer, A. van Weelden, Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden
- 2004
|
|
6
|
A Design for Type-Directed Programming in Java
– Stephanie Weirich, Liang Huang
- 2004
|
|
6
|
A functional shell that dynamically combines compiled code
– Arjen Van Weelden, Rinus Plasmeijer
- 2003
|
|
|
A Typical Synergy Dynamic Types and Generalised Algebraic Datatypes
– Thomas Van Noort, Peter Achten, Rinus Plasmeijer
|
|
|
Yet Another Generic Haskell
– Ralf Lämmel, Joost Visser
|
|
10
|
MetaKlaim: A Type Safe Multi-stage Language for Global Computing
– Gianluigi Ferrari, Eugenio Moggi, Rosario Pugliese
|
|
|
Interpretational Overhead in system software
– Boris Feigin
- 2011
|
|
91
|
Phantom Types
– James Cheney, Ralf Hinze
- 2003
|
|
3
|
Type-Secure Meta-Programming
– Christopher Bentley Dornan
- 1998
|
|
|
Abstractions for Component-Based Programming with Dynamic Linking
– Dominic Duggan
- 2001
|
|
21
|
Dynamic Typing for Distributed Programming in Polymorphic Languages
– Dominic Duggan
- 1996
|
