Answer type polymorphism in call-by-name continuation passing (2004)

by H Thielecke
Venue:Lecture Notes in Computer Science 2986