Sebastien Carlier and J. B. Wells. Expansion: the crucial mechanism for type inference with intersection types: Survey and explanation. Technical Report HWMACS -TR-0029, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2005.

 Home/Search   Document Details and Download   Summary   Related Articles  

This paper is cited in the following contexts:
Unknown - Ist- Dynamic Assembly   (Correct)

No context found.

Sebastien Carlier and J. B. Wells. Expansion: the crucial mechanism for type inference with intersection types: Survey and explanation. Technical Report HWMACS -TR-0029, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2005.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC