A Simple Applicative Language: Mini-ML

  title={A Simple Applicative Language: Mini-ML},
  author={Dominique Cl{\'e}ment and Jo{\"e}lle Despeyroux and Th. Despeyroux and Gilles Kahn},
  booktitle={LISP and Functional Programming},
1. I n t r o d u c t i o n ML is a programming language with very interesting characteristics from the standpoint of static and dynamic semantics. • ML is a strongly typed language but there is no type declaration: expressions axe typed implicitly. • ML exhibits polymorphism: it is possible to define functions that work uniformly on arguments of many types. • ML allows the definition of higher-order functions: the value of an ML expression may be a closure. ML typechecking is the object of… CONTINUE READING
52 Extracted Citations
2 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-2 of 2 references

MAUNY, "The Categorical Abstract Machine v, in Functional Languages and Computer Architecture

  • Lecture Notes in Computer Science,
  • 1985
Highly Influential
7 Excerpts

Computation and Deduction ~

  • G. HUET
  • Carnegie Mellon Course Notes,
  • 1986
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…