Guarded impredicative polymorphism

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

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Guarded impredicative polymorphism'. Together they form a unique fingerprint.

INIS

Computer Science