Metalevel building blocks for modular systems (1994)

by S Jagannathan
Venue:ACM Transactions on Programming Languages and Systems