Polar Type Inference with Intersection Types and ω
2003 ◽
Vol 70
(1)
◽
pp. 37-52
◽
Pedro Ângelo
◽
Mário Florido
2005 ◽
Vol 136
◽
pp. 173-202
◽
Sébastien Carlier
◽
J.B. Wells
A. J. Kfoury
◽
J. B. Wells
Sébastien Carlier
◽
J. B. Wells
2004 ◽
Vol 311
(1-3)
◽
pp. 1-70
◽
Pramod G. Joisha
◽
Prithviraj Banerjee
Matt Noonan
◽
Alexey Loginov
◽
David Cok
2011 ◽
Vol 46
(2)
◽
pp. 43-52
◽
Arie Middelkoop
◽
Atze Dijkstra
◽
S. Doaitse Swierstra
2016 ◽
Vol 51
(10)
◽
pp. 781-799
◽
Calvin Loncaric
◽
Satish Chandra
◽
Cole Schlesinger
◽
Manu Sridharan