[ RIMS WWWFun |
WWWFun Software ]
The Objective Label Trilogy
This is a mirrored document. The original site is at
Objective Label is the
label-selective extension of Objective Caml, following the
A label-selective lambda-calculus with optional arguments and its
compilation method. It has also polymorphic variants, as
Programming with polymorphic variants, and polymorphic
methods, as formalized in
Extending ML with semi-explicit higher order polymorphism.
You can read a short introduction to
Here is a screenshot (1152x900 GIF,
50Kbytes, also half-size, 50Kbytes) of the whole developping environment running, including
various windows of LablBrowser.
(Window manager is Mlvwm)
The distribution contains a patch to build Objective Label 2.02 from
Objective Caml 2.02, the sources of LablTk41, and LablBrowser, a
source and compiled interface browser allowing to search the library
by path, name and type, or shorter, a programming environment.
Everything was checked to work on Digital Unix 4.0, SPARC/SunOS4.1.4,
SPARC/Solaris2.5, i386/FreeBSD2.2.5, i386/Solaris2.5.1, SGI/IRIX6.3 and
LablBrowser may also be compiled to use the O'Caml interface format,
- O'Labl distribution
- The full distribution of the trilogy, version 2.02 (530 Kbytes)
Do not take any other file with this: everything is already included!
Old version 1.06 available as a Linux RPM, i386 binaries(1967 Kbytes).
- Announce of release 2.00
- The LablGL interface to OpenGL and Mesa, version 0.91 (173 Kbytes).
Here is the README. Upgraded to Togl-1.5,
solving problem for Linux users.
- Other files (included in olabl-2.02.tar.gz).
- The actual
- Objective Label Manual
- Installation and user manual, (44 Kbytes).
Also in Computer Modern DVI
(26 Kbytes) and A4 palatino postscript
- The LablTk41 distribution, with LablBrowser (187 Kbytes).
Now based on OCamlTk41.
- LablTk manual
- Installation and user manual for LablTk.
In Computer Modern DVI
(8 Kbytes) and A4 palatino postscript
- Class library
- This is a simple class library for O'Labl. olabl-classes-2.01.tar.gz (10
- An emacs mode to edit and indent O'Caml and O'Labl programs.
- O'Caml distribution
- The O'Caml distribution (necessary to make O'Labl) is available at
Jacques Garrigue & Jun P. Furuse, 99.03.08.