Back to Search Start Over

Type inference in context

Authors :
Gundry, A.
McBride, C.
McKinna, J.
Gundry, A.
McBride, C.
McKinna, J.
Source :
MSFP'10 : Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming; 43; 54; MSFP'10 : Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming~~43~54~~~~~~~
Publication Year :
2010

Abstract

MSFP'10 : third ACM SIGPLAN workshop on Mathematically structured functional programming<br />Contains fulltext : 83744.pdf (publisher's version ) (Open Access)

Details

Database :
OAIster
Journal :
MSFP'10 : Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming; 43; 54; MSFP'10 : Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming~~43~54~~~~~~~
Publication Type :
Electronic Resource
Accession number :
edsoai.on1284013645
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details