Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,884,425 papers from all fields of science
Search
Sign In
Create Free Account
Standard ML
Known as:
SML programming language
, Opaque ascription
, SML (programming language)
Expand
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ANTLR
Abstract data type
Adapter pattern
Bit array
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The hazard of accommodation and scanning LIDARs
Thorsten Beuth
,
D. Thiel
,
Michael G. Erfurth
Optical Systems Design
2018
Corpus ID: 116183794
With the current large scale introduction of automotive LIDAR sensors, cars will enjoy new possibilities with new rising features…
Expand
2012
2012
Modelling Security Requirements in Socio-Technical Systems with STS-Tool
Elda Paja
,
F. Dalpiaz
,
Mauro Poggianella
,
Pierluigi Roberti
,
P. Giorgini
CAiSE Forum
2012
Corpus ID: 11547278
Security Requirements Engineering (SRE) deals with the specification of security requirements for the system-to-be starting with…
Expand
2008
2008
Joint maximum likelihood estimation of unit root testing equations and GARCH processes: Some finite-sample issues
S. Cook
Mathematics and Computers in Simulation
2008
Corpus ID: 37662075
2001
2001
A Network Protocol Stack in Standard ML
Edoardo S. Biagioni
,
R. Harper
,
Peter Lee
High. Order Symb. Comput.
2001
Corpus ID: 14113674
The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a…
Expand
1996
1996
Mind the Gap! Abstract Versus Concrete Models of Specifications
D. Sannella
,
A. Tarlecki
International Symposium on Mathematical…
1996
Corpus ID: 7795845
In the theory of algebraic specifications, many-sorted algebras are used to model programs: the representation of data is…
Expand
1992
1992
Debugging standard ML
A. Tolmach
1992
Corpus ID: 59833760
Traditional "source-level" debuggers for compiled languages actually operate at machine level, which makes them complex…
Expand
1990
1990
Efficient implementation of one-dimensional recursive median filters
S. Ko
,
Y. Lee
,
A. Fam
1990
Corpus ID: 61533311
It is shown that in one-dimensional (1-D) recursive median (RM) filtering, the present output is fully determined by the input…
Expand
1990
1990
Generating program animators from programming language semantics
D. Berry
1990
Corpus ID: 38983708
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be…
Expand
Highly Cited
1987
Highly Cited
1987
Functional programming using standard ML
Åke Wikström
Prentice Hall International Series in Computer…
1987
Corpus ID: 13088997
Read more and get great! That's what the book enPDFd functional programming using standard ml will give for every reader to read…
Expand
Highly Cited
1985
Highly Cited
1985
Program specification and development in standard ML
D. Sannella
,
A. Tarlecki
ACM-SIGACT Symposium on Principles of Programming…
1985
Corpus ID: 8953707
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE