Implementing typeful program transformations.

Chiyan Chen, Hongwei Xi

Browse the full PEPM paper archive.