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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

Citation for published version: Sannella, D & Tarlecki, A 1991, Extended ML: Past, present and future. in H Ehrig, KP Jantke, F…

2010

This paper is concerned with amplitude-based maximum likelihood classification for quadrature amplitude modulation formats in the…

2007

MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France…

2007

The Deenition of Standard ML contains several errors and ambiguities. Some of them have already been published in the Commentary…

1997

This document was originally produced as lecture notes for the MSc and PG course ``Formal Program Development'' early in 1997…

1996

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…

1994

This document formally defines the syntax and semantics of the Extended~ML language. It is based directly on the published…

1993

The ultimate goal of this work is the definition of a wide-spectrum specification language that supports both data and…

1991

We propose to design and implement an environment for computer assisted program development in Extended ML, a formal…

1990

This report presents the derivation of the "key words in context" example in the Extended ML framework of Sannella and Tarlecki[G…