Interactive Programming Environment for ML - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1997

Interactive Programming Environment for ML

Laurent Théry


This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. We derive from existing compilers some tools that assist users in developing ML programs. ML being a strongly typed language, its typechecking algorithm plays a central role. So we present some tools that show how to make use of type information in a programming environment.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-3139.pdf (348.57 Ko) Télécharger le fichier

Dates and versions

inria-00073550 , version 1 (24-05-2006)


  • HAL Id : inria-00073550 , version 1


Laurence Rideau, Laurent Théry. Interactive Programming Environment for ML. RR-3139, INRIA. 1997. ⟨inria-00073550⟩
59 View
192 Download


Gmail Facebook X LinkedIn More