Laurence Rideau, Laurent Thery  Home/Search
Context Related
| inria.fr/INRIA/publicat...RR3139.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. From existing compilers we derive 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. (Update)
Context of citations to this paper: More
.... Other systems use similar unification algorithms to give type inference explanation, for example Rideau and Thery s programming environment[15]. The system uses the essentially unchanged W algorithm to walk over the abstract syntax tree for a program collecting equality...
.... Here again, the partial evaluator could easily be written once and for all, using a formal description of the caml language, as found in [RT97] 1 By isyntacticallyj we mean that the constraints are only context free constraints. RR n# 3540 8 Yves Bertot 3.2.3 State...
Cited by: More
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Explaining Polymorphic Types - Jun, Michaelson, Trinder (2002) (Correct)
Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
Active bibliography (related documents): More All
0.5: The Marriage of MathML and Theorem Proving - Naciri, Rideau (2001) (Correct)
0.2: The CtCoq System: Design and Architecture - Bertot (1998) (Correct)
0.2: Proofs about a Folklore Let-Polymorphic Type Inference Algorithm - Lee, Yi (1998) (Correct)
Similar documents based on text: More All
0.4: A Generic Library of Floating-Point Numbers and its.. - Daumas, Rideau.. (2001) (Correct)
0.3: Distributed Programming Environments: An Example of a Message.. - Dery, Rideau (1994) (Correct)
0.2: D'eveloppement d'un environnement de programmation Centaur.. - Encadrement Rideau (Correct)
Related documents from co-citation: More All
7: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
7: A theory of type polymorphism in programming (context) - Milner - 1978
6: Finding the source of type errors (context) - Wand - 1986
BibTeX entry: (Update)
L. Rideau and L. Thery. Interactive programming environment for ML. Technical Report 3139, INRIA, March 1997. http://citeseer.ist.psu.edu/rideau97interactive.html More
@techreport{ rideauinteractive,
author = "Laurence Rideau and Laurent Thery",
title = "Interactive Programming Environment for {ML}",
number = "RR-3139",
pages = "27 p.",
url = "citeseer.ist.psu.edu/rideau97interactive.html" }
Citations (may not include all citations):737 The Java Programming Language (context) - Arnold, Gosling - 1996
362 ML for the working programmer (context) - Paulson - 1991 ACM
343 Principal type-schemes for functional programs (context) - Dalmas, Milner - 1982 DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
143 The Coq Proof Assistant User's Guide (context) - Dowek, Felty et al. - 1993
45 A modular module system - Leroy - 1996 ACM DBLP
36 Extracting text from proofs - Coscoy, Kahn et al. - 1995 ACM DBLP
35 Extended ml: an institution-independent framework for formal.. - Sannella, Tarlecki - 1986 ACM DBLP
35 Tcl: An embeddable command language - Ousterhout - 1990 ACM DBLP
26 The implementation of Standard ML modules - MacQueen - 1988
22 Isomorphisms of types: from -calculus to information retriev.. (context) - Di Cosmo - 1995
13 Learning GNU Emacs (context) - Cameron, Rosenblatt - 1991 ACM
10 The caml light system (context) - Leroy - 1995
9 Explaining type inference - Duggan, Bent - 1994
4 Distributed programming environments: an example of a messag.. (context) - ry, Rideau - 1994
3 chapter The PPML Manual (context) - Jacobs, Bertot et al. - 1993
1 Distributed architecture for programming environments (context) - ry, Rideau - 1996
1 A maximum-AEow approach to anomaly isolation in unication ba.. (context) - Johnson, Walz - 1986
1 Third Symposium on Software Development Environments (context) - Borras, Cl et al. - 1988
1 Find the source of type errors (context) - Wand - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC