Type-Safe Two-Level Data Transformation.

Alcino Cunha, Jos Nuno Oliveira, Joost Visser

Browse the full FM paper archive.