Towards a Modular Program Derivation via Fusion and Tupling.

Wei-Ngan Chin, Zhenjiang Hu

Browse the full GPCE paper archive.