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

1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
754 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
198 Reflections on Standard ML – David B. MacQueen - 1992
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
620 Compiling with Continuations – Andrew W Appel - 1992
1265 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
38 A Module System for Scheme – Pavel Curtis, James Rauen - 1990
194 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
267 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
212 Encapsulation and Inheritance in Object-Oriented Programming Languages – Alan Snyder - 1986