Skip to Main content Skip to Navigation
Reports

Interactive Programming Environment for ML

Laurence Rideau 1 Laurent Théry
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073550
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 1:10:34 PM
Last modification on : Wednesday, January 8, 2020 - 11:04:18 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:49:55 PM

Identifiers

  • HAL Id : inria-00073550, version 1

Collections

Citation

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

Share

Metrics

Record views

134

Files downloads

285