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

Abstract

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.

Domains

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)

Identifiers

  • HAL Id : inria-00073550 , version 1

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More