Guarded impredicative polymorphism

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192389 ◽

2018 ◽

Author(s):

Alejandro Serrano ◽

Jurriaan Hage ◽

Dimitrios Vytiniotis ◽

Simon Peyton Jones

Download Full-text