1+1 = 1: an optimizing CAML compiler (1994)

by Manual Serrano, Pierre Weis