Skip to search formSkip to main contentSkip to account menu

Standard ML

Known as: SML programming language, Opaque ascription, SML (programming language) 
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ANTLRAbstract data typeAdapter patternBit array

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Modelling Security Requirements in Socio-Technical Systems with STS-Tool
Security Requirements Engineering (SRE) deals with the specification of security requirements for the system-to-be starting with… 
2008
2008
Joint maximum likelihood estimation of unit root testing equations and GARCH processes: Some finite-sample issues
2001
2001
A Network Protocol Stack in Standard ML
The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a… 
1996
1996
Mind the Gap! Abstract Versus Concrete Models of Specifications
In the theory of algebraic specifications, many-sorted algebras are used to model programs: the representation of data is… 
1992
1992
Debugging standard ML
Traditional "source-level" debuggers for compiled languages actually operate at machine level, which makes them complex… 
1992
1992
Automatic Translation of VDM Specifications into Standard ML Programs (Short Note)
This paper demonstrates how a syntax-directed editor, designed as an entry fool for VDM specifications, can produce executable… 
1990
1990
Efficient implementation of one-dimensional recursive median filters
It is shown that in one-dimensional (1-D) recursive median (RM) filtering, the present output is fully determined by the input… 
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1987
1987
An Action Semantics of Standard ML
Action semantics is a form of denotational semantics that is based on abstract semantic algebras rather than Scott domains and… 
Highly Cited
1985
Highly Cited
1985
Program specification and development in standard ML
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with… 
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)