Guarded impredicative polymorphism

Alejandro Serrano, J. Hage, S. Peyton Jones, Dimitrios Vytiniotis

Research output: Working paper › Academic

Original language	English
Publication status	Published - 1 Jul 2017

Access to Document

https://www.microsoft.com/en-us/research/publication/guarded-impredicative-polymorphism/

Cite this