Automatic Generation and Use of Abstract Structure Operators (1991)

by T Sheard
Venue:ACM ToPLaS