Automatic generation and use of abstract structure operators (1991)

by T Sheard
Venue:ACM Transactions on Programming Languages and Systems