An Implementation of Standard ML Modules (1988)

Cached

Download Links

by David Macqueen , David Macqueen
Venue:In ACM Conf. on Lisp and Functional Programming
Citations:29 - 3 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
198 Reflections on Standard ML – David B. MacQueen - 1992
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
625 Compiling With Continuations – A W Appel - 1992
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
38 A Module System for Scheme – Pavel Curtis, James Rauen - 1990
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
64 A Runtime System – Andrew W. Appel - 1990
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
12 Signature-based polymorphism for C – Elana D Granston, Vincent F Russo - 1991
7 The type inference and coercion facilities in the Scratchpad II interpreter – Robert S Sutor, Richard D Jenks - 1987
26 A.Demers: Data types are values – J Donahue - 1985
36 Modula-3 language definition – L CARDELLI, J DONAHUE, L GLASSMAN, M JORDAN, B KALSOW, G NELSON - 1991
109 An introduction to TrellIs/Owl – Craig Schaft’ert, Topher Cooper, Bruce Bullis, Mike Kilian, Carrie Wilpolt - 1986
118 A parallel object-oriented language with inheritance and subtyping – Pierre America, Frank van der Linden - 1990
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990