|
272
|
Dependent Types in Practical Programming
– Hongwei Xi, Dana Scott
- 1998
|
|
162
|
Eliminating Array Bound Checking Through Dependent Types
– Hongwei Xi, Frank Pfennig
- 1998
|
|
28
|
Indexed types
– Christoph Zenger
- 1997
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
115
|
Guarded Recursive Datatype Constructors
– Hongwei Xi, Chiyan Chen, Gang Chen
- 2003
|
|
151
|
Refinement types for ML
– Tim Freeman
- 1994
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
40
|
Functional Unparsing
– Olivier Danvy, Olivier Danvy
- 1998
|
|
23
|
Indizierte Typen
– C Zenger
- 1998
|
|
91
|
Phantom Types
– James Cheney, Ralf Hinze
- 2003
|
|
143
|
Inductive Definitions in the System Coq Rules and Properties
– Christine Paulin-Mohring
- 1992
|
|
15
|
Dependently Typed Pattern Matching
– Hongwei Xi
- 2003
|
|
280
|
Natural semantics
– G. Kahn
- 1987
|
|
245
|
The Design and Implementation of a Certifying Compiler
– George C. Necula , Peter Lee
- 1998
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
196
|
Cayenne -- a Language With Dependent Types
– Lennart Augustsson
- 1998
|
|
42
|
Wobbly Types: Type Inference for Generalised Algebraic Data Types
– Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich
- 2004
|
|
515
|
D.: Implementation of Functional Programming Languages
– Peyton Jones, S Lester
- 1987
|
|
150
|
How Good is Local Type Inference?
– Haruo Hosoya, Benjamin C. Pierce
- 1999
|
