tool: The ML Kit
-
Language:
|
Standard ML
|
|---|
-
Version:
|
1
|
|---|
-
Parts:
|
interprter, documentation
|
|---|
-
Author:
|
Nick Rothwell, David N. Turner, Mads Tofte <tofte@diku.dk>,
and Lars Birkedal at Edinburgh and Copenhagen Universities.
|
|---|
-
Location:
|
|
|---|
-
Description:
|
The ML Kit is a straight translation of the Definition of
Standard ML into a collection of Standard ML modules. For
example, every inference rule in the Definition is translated
into a small piece of Standard ML code which implements it. The
translation has been done with as little originality as
possible - even variable conventions from the Definition are
carried straight over to the Kit. The Kit is intended as a
tool box for those people in the programming language community
who may want a self-contained parser or type checker for full
Standard ML but do not want to understand the clever bits of a
high-performance compiler. We have tried to write simple code
and modular interfaces.
|
|---|
-
Updated:
|
March 12th, 1993
|
|---|
language: Standard ML
category: functional languages
summary, or
expanded.
|
|