scholarly journals Polar Type Inference with Intersection Types and ω

2003 ◽  
Vol 70 (1) ◽  
pp. 37-52 ◽  
Author(s):  
Sébastien Carlier
2011 ◽  
Vol 46 (2) ◽  
pp. 43-52 ◽  
Author(s):  
Arie Middelkoop ◽  
Atze Dijkstra ◽  
S. Doaitse Swierstra

2016 ◽  
Vol 51 (10) ◽  
pp. 781-799 ◽  
Author(s):  
Calvin Loncaric ◽  
Satish Chandra ◽  
Cole Schlesinger ◽  
Manu Sridharan

Sign in / Sign up

Export Citation Format

Share Document