Browse by Author or creator
Jump to: 2010
Number of items: 1.
2010
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
This list was generated on Tue Oct 8 09:14:46 2024 BST.