Didier Rémy Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. 413-536 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950413.htm db/conf/ac/appsem2000.html#Remy00