Towards a Modular Program Derivation via Fusion and Tupling (2002)

by Wei-Ngan Chin, Zhenjiang Hu
Venue: The First ACM SIGPLAN Conference on Generators and Components, Lecture