Reflections on Standard ML (1992)

by David B. MacQueen
Venue: FUNCTIONAL PROGRAMMING, CONCURRENCY, SIMULATION AND AUTOMATED REASONING, VOLUME 693 OF LNCS
Citations:198 - 4 self

Active Bibliography

1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
102 Compiling with Types – Greg Morrisett - 1995
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
93 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
58 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
227 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
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
10 Practical Soft Typing – Andrew K. Wright - 1994
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995