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… 
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
2010
2010
Complex spectral minutiae representation for fingerprint recognition
The spectral minutiae representation is designed for combining fingerprint recognition with template protection. This puts… 
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
Indexing in Modeling Languages for Mathematical Programming
Indexing structures are of fundamental importance to modeling languages for mathematical programming as a device for mathematical… 
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
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… 
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… 
1959
1959
CRC Standard Mathematical Tables
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)