Towards a Modular Program Derivation via Fusion and (0)

by W N Chin, Z Hu
Venue:Tupling, in The First ACM SIGPLAN Conference on Generators and Components, Lecture