Functional programming in CAML-Light (1993)

by Michel Mauny