A theory of overloading

A theory of overloading

10.1145/1108970.1108974

Saved in:
Bibliographic Details
Main Authors: Stuckey, P.J., Sulzmann, M.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Coherence
Constraints
Evidence translation
Overloading
Type classes
Type inference
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39843
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-39843
record_format dspace
spelling sg-nus-scholar.10635-398432024-11-09T05:30:59Z A theory of overloading Stuckey, P.J. Sulzmann, M. COMPUTER SCIENCE Coherence Constraints Evidence translation Overloading Type classes Type inference 10.1145/1108970.1108974 ACM Transactions on Programming Languages and Systems 27 6 1216-1269 ATPSD 2013-07-04T07:50:52Z 2013-07-04T07:50:52Z 2005 Article Stuckey, P.J., Sulzmann, M. (2005). A theory of overloading. ACM Transactions on Programming Languages and Systems 27 (6) : 1216-1269. ScholarBank@NUS Repository. https://doi.org/10.1145/1108970.1108974 01640925 http://scholarbank.nus.edu.sg/handle/10635/39843 000234804800004 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Coherence
Constraints
Evidence translation
Overloading
Type classes
Type inference
spellingShingle Coherence
Constraints
Evidence translation
Overloading
Type classes
Type inference
Stuckey, P.J.
Sulzmann, M.
A theory of overloading
description 10.1145/1108970.1108974
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Stuckey, P.J.
Sulzmann, M.
format Article
author Stuckey, P.J.
Sulzmann, M.
author_sort Stuckey, P.J.
title A theory of overloading
title_short A theory of overloading
title_full A theory of overloading
title_fullStr A theory of overloading
title_full_unstemmed A theory of overloading
title_sort theory of overloading
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/39843
_version_ 1821227834098581504

Similar Items