Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Gundry, Adam and Mcbride, Conor and McKinna, James; (2010) Type inference in context. In: MSFP '10 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming. ACM, New York, NY, GBR, pp. 43-54. ISBN 978-1-4503-0255-5