Automatic Design of Data Processing Systems.

Gregory R. Ruth

Browse the full POPL paper archive.