Automatically Splitting a Two-Stage Lambda Calculus.

Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian

Browse the full ESOP paper archive.