Free theorems in the presence of

Patricia Johann, Janis Voigtlnder

Browse the full POPL paper archive.