From sequential programs to multi-tier applications by program transformation.

Matthias Neubauer, Peter Thiemann

Browse the full POPL paper archive.