|
1
|
Operational Interpretations of an Extension of F-omega with Control Operators
– Robert Harper, Mark Lillibridge
- 1995
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
89
|
A Critique of Standard ML
– Andrew W. Appel
- 1992
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
3
|
Translucent Sums: AFoundation for Higher-Order Module Systems
– Mark Lillibridge, John Reynolds
- 1997
|
|
53
|
Translucent Sums: A Foundation for Higher-Order Module Systems
– Mark Lillibridge
- 1997
|
|
11
|
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
– Bernd Krieg-Brückner, Donald Sannella
|
|
7
|
Compiling with Non-Parametric Polymorphism (Preliminary Report)
– Robert Harper, Greg Morrisett
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
86
|
An Overview of the FLINT/ML Compiler
– Zhong Shao
- 1997
|
|
103
|
A Practical Soft Type System for Scheme
– Andrew K. Wright, Robert Cartwright
- 1993
|
|
6
|
Contextual Polymorphism
– Glen Jeffrey Ditchfield
- 1994
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
10
|
Practical Soft Typing
– Andrew K. Wright
- 1994
|
|
93
|
The Polymorphic Pi-calculus: Theory and Implementation
– David N. Turner
- 1995
|
|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
