HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:10:34 PM
Last modification on : Friday, February 4, 2022 - 3:16:45 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

54

Files downloads

169