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

by M Serrano, P Weis
Venue:In ACM-SIGPLAN Workshop on ML and its applications