|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
11
|
Computational Complexity and Induction for Partial Computable Functions in Type Theory
– Robert L. Constable, Karl Crary
- 1999
|
|
8
|
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
– Gilles Barthe, John Hatcliff, Peter Thiemann
- 1997
|
|
8
|
From System F to Typed Assembly Language (Extended Version)
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
86
|
An Overview of the FLINT/ML Compiler
– Zhong Shao
- 1997
|
|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
63
|
Flexible representation analysis
– Zhong Shao
- 1997
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
79
|
What is a Recursive Module?
– Karl Crary, Robert Harper, Sidd Puri
- 1999
|
|
74
|
Flexible Type Analysis
– Karl Crary, Stephanie Weirich
- 1999
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
54
|
Types for Modules
– Claudio V. Russo
- 1998
|
|
4
|
Low-Level Type Systems for Modularity and Object-Oriented Constructs
– Arthur Neal Glew
- 2000
|
|
14
|
NuPRL’s class theory and its applications
– Robert L. Constable, Jason Hickey
- 2000
|
|
3
|
Type Inference and Reconstruction for First Order Dependent Types
– Neal Nelson, To Mary Alice, To Sherri
- 1995
|
