Rastislav BodikBooksPOPL '16Compiler ConstructionSIGPLAN 2016 Compilation CD-ROMAuthor data: Open Library