Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,771 papers from all fields of science
Search
Sign In
Create Free Account
Extended ML
Known as:
Extended ML (programming language)
, 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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Axiomatic semantics
Don Sannella
Extensible ML
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Robust Maximum Likelihood Classification of Quadrature Amplitude Modulation
Q. Shi
,
Y. Karasawa
IEEE Wireless Communication and Networking…
2010
Corpus ID: 15915240
This paper is concerned with amplitude-based maximum likelihood classification for quadrature amplitude modulation formats in the…
Expand
2010
2010
Extended ML : Past , present and future
H. Ehrig
,
KP Jantke
,
F. Orejas
,
Reichel
2010
Corpus ID: 54636885
Citation for published version: Sannella, D & Tarlecki, A 1991, Extended ML: Past, present and future. in H Ehrig, KP Jantke, F…
Expand
2007
2007
Observational Interpretation of Casl Specifications
M. Bidoit
,
D. Sannella
,
A. Tarlecki
2007
Corpus ID: 267815374
MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France…
Expand
2007
2007
Mistakes and Ambiguities in the Deenition of Standard Ml Structure of the Paper
Stefan Kahrs
2007
Corpus ID: 10393453
The Deenition of Standard ML contains several errors and ambiguities. Some of them have already been published in the Commentary…
Expand
2006
2006
A MAXIMUM LIKELIHOOD TRAINING APPRO COMPENSATION BASED ON PIECEWISE
Qiang Huo
2006
Corpus ID: 34628246
In our previous works, a maximum likelihood training approach was developed based on the concept of stochastic vector mapping…
Expand
1998
1998
Type Systems, Software Architecture and Testing
S. Anderson
1998
Corpus ID: 582802
Modern type systems for programming languages o er an expressive language for talking about software components and provide tools…
Expand
1996
1996
A Module Calculus Enjoying the Subject-Reduction Property
J. Courant
1996
Corpus ID: 15080930
The module system of SML is a small typed language of its own. As is, one would expect a proof of its soundness following from a…
Expand
1991
1991
Breitenbush and Santiam : tools for program development in Extended ML
J. Hook
1991
Corpus ID: 44088931
We propose to design and implement an environment for computer assisted program development in Extended ML, a formal…
Expand
1990
1990
Key words in context, an example
J. Hook
,
R. Kieburtz
1990
Corpus ID: 65048854
This report presents the derivation of the "key words in context" example in the Extended ML framework of Sannella and Tarlecki[G…
Expand