ACM Programming Language Design and Implementation, PLDI 2018

Article Details
Title: Guarded impredicative polymorphism
Article URLs:
Alternative Article URLs: https://www.microsoft.com/en-us/research/publication/guarded-impredicative-polymorphism/
Authors: Alejandro Serrano
  • Utrecht University, Information and Computing Sciences
Jurriaan Hage
  • Utrecht University, Information and Computing Sciences
Dimitrios Vytiniotis
  • Microsoft Research
Simon Peyton Jones
  • Microsoft Research
Sharing: Not able to share produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/pldi/SerranoHVJ18
Author Comments:

Discuss this paper and its artifacts below