Article

Free access

A proposal for standard ML

Author:

Robin MilnerAuthors Info & Claims

LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming

Pages 184 - 197

https://doi.org/10.1145/800055.802035

Published: 06 August 1984 Publication History

PDF eReader

References

[1]

M. Gordon, R. Millner and C.Wasaworth, Edinburgh LCF; Springer-Verlag Lecture Notes in Computer Science, Vol. 78, 1979.

Google Scholar

[2]

R. Burstall,D. Macqueen and D.Sannellan HOPEL: An Experimental Applicative Languages; Report CSR-62-80, Computer Science Dept. Edinburgh University, 1980.

Google Scholar

[3]

L. CArdelli,ML under UNIX; Bell Laboratories,Murray Hill, New Jersey, 1982.

Google Scholar

Cited By

View all

Cheng LParreaux L(2024)The Ultimate Conditional SyntaxProceedings of the ACM on Programming Languages10.1145/36897468:OOPSLA2(988-1017)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689746
MacQueen DHarper RReppy J(2020)The history of Standard MLProceedings of the ACM on Programming Languages10.1145/33863364:HOPL(1-100)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386336
Mastrangelo LHauswirth MNystrom N(2019)Casting about in the dark: an empirical study of cast operations in Java programsProceedings of the ACM on Programming Languages10.1145/33605843:OOPSLA(1-31)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360584
Show More Cited By

Index Terms

A proposal for standard ML
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Proposal for a language compatible arithmetic standard

The following proposal for an arithmetic standard has been submitted to the American National Standards Institute and the International Organization for Standardization. It is being processed by the ANSI X3T2 committee and the ISO/IEC JTC1/SC22/WG11 ...
Simple objects for Standard ML

We propose a new approach to adding objects to Standard ML (SML) based on explicit declarations of object types, object constructors, and subtyping relationships, with a generalization of the SML case statement to a "typecase" on object types. The ...
An implementation of standard ML modules
LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming

Standard ML includes a set of module constructs that support programming in the large. These constructs extend ML's basic polymorphic type system by introducing the dependent types of Martin Löf's Intuitionistic Type Theory. This paper discusses the ...

Comments

Information & Contributors

Information

Published In

LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming

August 1984

364 pages

ISBN:0897911423

DOI:10.1145/800055

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 August 1984

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 30 of 109 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

120
Total Citations
View Citations
1,098
Total Downloads

Downloads (Last 12 months)365
Downloads (Last 6 weeks)86

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cheng LParreaux L(2024)The Ultimate Conditional SyntaxProceedings of the ACM on Programming Languages10.1145/36897468:OOPSLA2(988-1017)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689746
MacQueen DHarper RReppy J(2020)The history of Standard MLProceedings of the ACM on Programming Languages10.1145/33863364:HOPL(1-100)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386336
Mastrangelo LHauswirth MNystrom N(2019)Casting about in the dark: an empirical study of cast operations in Java programsProceedings of the ACM on Programming Languages10.1145/33605843:OOPSLA(1-31)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360584
Barendregt H(2016)Introduction to generalized type systemsJournal of Functional Programming10.1017/S09567968000200251:2(125-154)Online publication date: 10-Aug-2016
https://doi.org/10.1017/S0956796800020025
Nielson FNielson HZeng K(2015)Stochastic Model Checking of the Stochastic Quality CalculusSoftware, Services, and Systems10.1007/978-3-319-15545-6_30(522-537)Online publication date: 2015
https://doi.org/10.1007/978-3-319-15545-6_30
Jaeger ELevillain O(2014)Mind Your Language(s)Proceedings of the 2014 IEEE Security and Privacy Workshops10.1109/SPW.2014.29(140-151)Online publication date: 17-May-2014
https://dl.acm.org/doi/10.1109/SPW.2014.29
Zeng KNielson FNielson H(2014)The Stochastic Quality CalculusProceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages - Volume 845910.1007/978-3-662-43376-8_12(179-193)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1007/978-3-662-43376-8_12
Mueller C(2012)Axiom based architectureACM SIGARCH Computer Architecture News10.1145/2234336.223433940:2(10-17)Online publication date: 31-May-2012
https://dl.acm.org/doi/10.1145/2234336.2234339
Miller JHan JHybinette MYücesan E(2010)Using domain specific language for modeling and simulationProceedings of the Winter Simulation Conference10.5555/2433508.2433596(741-752)Online publication date: 5-Dec-2010
https://dl.acm.org/doi/10.5555/2433508.2433596
Miller JHan JHybinette M(2010)Using Domain Specific Language for modeling and simulation: ScalaTion as a case studyProceedings of the 2010 Winter Simulation Conference10.1109/WSC.2010.5679113(741-752)Online publication date: Dec-2010
https://doi.org/10.1109/WSC.2010.5679113
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Proposal for a language compatible arithmetic standard

Simple objects for Standard ML

An implementation of standard ML modules