Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn. A Simple Applicative Language: Mini-ML. In LISP and Functional Programming. pages 13-27, 1986.
@inproceedings{ClementDDK86,
title = {A Simple Applicative Language: Mini-ML},
author = {Dominique Clément and Joëlle Despeyroux and Th. Despeyroux and Gilles Kahn},
year = {1986},
tags = {semantics, translation, formal semantics, testing, abstract machine},
researchr = {https://researchr.org/publication/ClementDDK86},
cites = {0},
citedby = {0},
pages = {13-27},
booktitle = {LISP and Functional Programming},
}