|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
77
|
A Type System for Higher-Order Modules
– Derek Dreyer, Karl Crary, Robert Harper
- 2003
|
|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
80
|
A Type-Theoretic Interpretation of Standard ML
– Robert Harper, Christopher Stone
- 2000
|
|
130
|
Higher-Order Modules and the Phase Distinction
– Robert Harper, John C. Mitchell, Eugenio Moggi
- 1990
|
|
96
|
Applicative Functors and Fully Transparent Higher-Order Modules
– Xavier Leroy
- 1995
|
|
42
|
Subtyping with Singleton Types
– David Aspinall
- 1995
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
63
|
Using Parameterized Signatures to Express Modular Structure
– Mark P. Jones
- 1996
|
|
60
|
Mechanizing the Metatheory of Standard ML
– Daniel K. Lee, Karl Crary, Robert Harper
- 2006
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
38
|
Deciding Type Equivalence in a Language with Singleton Kinds
– Christopher A. Stone, Robert Harper
- 2000
|
|
180
|
Reflections on Standard ML
– David B. MacQueen
- 1992
|
|
20
|
Implementing the TILT internal language
– Leaf Petersen, Perry Cheng, Robert Harper, Chris Stone
- 2000
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
