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:30 - 3 self

Active Bibliography

An Implementation of Standard ML Modules – David Macqueen Att, David Macqueen - 1988
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
109 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
Applicative Programming and Specification – Stephen Gilmore - 1993
358 How to make ad-hoc polymorphism less ad hoc – P Wadler, S Blott - 1989
347 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982