Fresh O’Caml: Nominal abstract syntax for the masses (0)

by M R Shinwell
Venue:In Benton and Leroy [2