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

by Mark R. Shinwell
Venue:In ACM Workshop on ML
Citations:4 - 1 self