Type-specialized staged programming with process separation.

Yu David Liu, Christian Skalka, Scott F. Smith

Browse the full ICFP paper archive.