:an implementation of extensional polymorphism (i.e. Caml generics)
other research related activities
Web browser implemented in Objective Caml language,
which supports Caml applets whose security is assured by
the ML's strong typing.
Tcl/Tk interface for O'Caml.
Available in the official O'Caml distribution.
Using label-selective lambda-calculus with optinal arguments,
this library provides very natural command-line style API.
More over, it provides more type security
than the other language bindings of the Tk toolkit.