Interfacing CDUCE and OCaml.
Julien Demouth
MyThS/MIKADO/DART Meeting, Venice, June 14-16 2004
Abstract