Automatic generation and use of abstract structure operators (1991)

by Tim Sheard
Venue:ACM TOPLAS