Polar Type Inference with Intersection Types and ω
2003 ◽
Vol 70
(1)
◽
pp. 37-52
◽
2004 ◽
Vol 311
(1-3)
◽
pp. 1-70
◽
2003 ◽
pp. 121-125
◽