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.
Type de document :
Rapport
RR-3139, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073550
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:10:34
Dernière modification le : samedi 27 janvier 2018 - 01:31:31
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:49:55

Fichiers

Identifiants

  • HAL Id : inria-00073550, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

163