Guarded impredicative polymorphism.

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Browse the full PLDI paper archive.