From sequential programs to multitier applications by program transformation (2005)

by Matthias Neubauer, Peter Thiemann
Venue:In POPL ’05