Extended ML

Known as: Extended ML programming language 
Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2012
01219852012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
1997
Review
1997
Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences… (More)
  • figure 2
Is this relevant?
Review
1995
Review
1995
  • Stefan Kahrsy, Donald Sannellaz, Andrzej Tarleckix
  • 1995
ly characterised by the signature, the axiom would not hold, since the only value of t we could construct at this level is given… (More)
Is this relevant?
1994
1994
This document formally defines the syntax and semantics of the Extended ML language. It is based directly on the published… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
1994
1994
This is a position paper giving our views on the uses and makeup of module interfaces. The position espoused is inspired by our… (More)
Is this relevant?
1993
1993
Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences… (More)
Is this relevant?
1993
1993
The Deenition of Standard ML contains several errors and ambiguities. Some of them have already been published in the Commentary… (More)
Is this relevant?
1992
1992
A case study in the modular specification and refinement of a small database system is presented in Extended ML. Two similar… (More)
  • figure 1
Is this relevant?
Review
1990
Review
1990
An overview of past, present and future work on the Extended ML formal program development framework is given, with emphasis on… (More)
Is this relevant?
1986
1986
The Extended ML speciication language provides a framework for the formal stepwise development of modular programs in the… (More)
Is this relevant?
1985
1985
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with… (More)
Is this relevant?