|
115
|
Guarded Recursive Datatype Constructors
– Hongwei Xi, Chiyan Chen, Gang Chen
- 2003
|
|
281
|
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
– Frank Pfenning, Carsten Schurmann
- 1999
|
|
272
|
Dependent Types in Practical Programming
– Hongwei Xi, Dana Scott
- 1998
|
|
53
|
Typing dynamic typing
– Arthur I. Baars, S. Doaitse Swierstra
- 2002
|
|
135
|
Template Meta-programming for Haskell
– Tim Sheard, Simon Peyton Jones
- 2002
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
166
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
269
|
Higher-order abstract syntax
– Frank Pfenning, Conal Elliott
- 1988
|
|
79
|
Multi-Stage Programming: Its Theory and Applications
– Walid Taha
- 1999
|
|
35
|
Environment classifiers, in
– W Taha, M F Nielsen
- 2003
|
|
201
|
MetaML and Multi-Stage Programming with Explicit Annotations
– Walid Taha, Tim Sheard
- 1999
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
20
|
Tag Elimination and Jones-Optimality
– Walid Taha, Henning Makholm, John Hughes
|
|
129
|
Simple unification-based type inference for GADTs
– Simon Peyton Jones
- 2006
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
196
|
Cayenne -- a Language With Dependent Types
– Lennart Augustsson
- 1998
|
|
102
|
Domain Specific Embedded Compilers
– Daan Leijen, Erik Meijer
- 1999
|
|
22
|
ML-like Inference for Classifiers
– Cristiano Calcagno, Eugenio Moggi, Walid Taha
- 2004
|
|
5
|
Phantom types. Available from http://www.informatik.uni-bonn.de/~ralf/publications/Phantom.pdf
– James Cheney, Ralf Hinze
- 2003
|
