A mechanical formalization of higher-ranked polymorphic type inference
2019 ◽
Vol 3
(ICFP)
◽
pp. 1-29
◽
1994 ◽
Vol 109
(1-2)
◽
pp. 115-173
◽
2000 ◽
Vol 11
(01)
◽
pp. 65-87
Keyword(s):
1996 ◽
Vol 6
(1)
◽
pp. 111-141
◽
Keyword(s):
2002 ◽
Vol 64
(3)
◽
pp. 694-718
◽
2007 ◽
Vol 9
(1)
◽
pp. 3
◽