A complete and realistic implementation of quotations in ML (1994)

by M Mauny, D de Rauglaudre
Venue:Proc. 1994 Workshop on ML and its Applications