[ RIMS WWWFun | WWWFun Software ]

The Objective Label Trilogy

This is a mirrored document. The original site is at RIMS (Japan).

Objective Label is the label-selective extension of Objective Caml, following the guidelines in A label-selective lambda-calculus with optional arguments and its compilation method. It has also polymorphic variants, as described in 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 O'Labl.

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 LUNA/DGUX(SVR4.3).

LablBrowser may also be compiled to use the O'Caml interface format, using OCamlBrowser.

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 directory
Objective Label Manual
Installation and user manual, (44 Kbytes).
Also in Computer Modern DVI (26 Kbytes) and A4 palatino postscript (67 Kbytes)
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 (13 Kbytes)
Class library
This is a simple class library for O'Labl. olabl-classes-2.01.tar.gz (10 Kbytes)
An emacs mode to edit and indent O'Caml and O'Labl programs. (28 Kbytes)
O'Caml distribution
The O'Caml distribution (necessary to make O'Labl) is available at Look for ocaml-2.01.tar.gz.

Jacques Garrigue & Jun P. Furuse, 99.03.08.