Feedback
The definition of Standard ML


Source
Pages: 101
Year of Publication: 1990
ISBN:0-262-63132-6
Authors
Robin Milner
Univ. of Edinburgh, Edinburgh, Scotland, UK
Mads Tofte
Nsukka Univ., Nigeria
Robert Harper
Carnegie Mellon Univ., Pittsburgh, PA
Publisher
MIT Press Cambridge, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 248
Additional Information:
cited by index terms review collaborative colleagues
Tools and Actions:
Review this Book Save this Book to a Binder Display Formats: BibTex EndNote ACM Ref
CITED BY 248

Alan Finlay , Lloyd Allison, Technical correspondence: a correction to the denotational semantics for the Prolog of Nicholson and Foo, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.206-208, Jan. 1993

Stephen Edwards , Luciano Lavagno , Edward A. Lee , Alberto Sangiovanni-Vincentelli, Design of embedded systems: formal models, validation, and synthesis, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001

Lujo Bauer , Andrew W. Appel , Edward W. Felten, Mechanisms for secure modular programming in Java, Software—Practice & Experience, v.33 n.5, p.461-480, 25 April 2003

Robert Harper , Peter Lee, Research in programming languages for composability, safety, and performance, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996

Bruce J. McAdam, BigTypes in ML (poster), ACM SIGPLAN Notices, v.32 n.8, p.316, Aug. 1997

Riccardo Pucella, Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte, ACM SIGACT News, v.32 n.1, March 2001