Embedding a class of domain-speci languages in a functional language (2000)

by Ross Paterson
Venue:In submission