Typed applicative structures and normalization by evaluation for system f ω (2009)

by Andreas Abel
Venue:of Lecture Notes in Computer Science