Work

Interactive Programming Environment for ML

Year: 1997

Type: 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.

Authors: Laurence Rideau, Laurent Théry

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W45703878

FWCI: 2.324

Cites:

Cited by: 9

Related to: 10