Login / Signup

A mechanical formalization of higher-ranked polymorphic type inference.

Jinxu ZhaoBruno C. d. S. OliveiraTom Schrijvers
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases