Show simple item record

dc.contributor.authorShafarenko, A.
dc.date.accessioned2011-10-10T15:01:12Z
dc.date.available2011-10-10T15:01:12Z
dc.date.issued2002
dc.identifier.citationShafarenko , A 2002 , Coercion as homomorphism: type inference in a system with subtyping and overloading . in In: Procs of the 4th ACM SIGPLAN Int Conf on Principles and Practice of Declarative Programming : PPDP'02 . ACM Press , pp. 14-25 . https://doi.org/10.1145/571157.571160
dc.identifier.isbn1-58113-528-9
dc.identifier.otherPURE: 407285
dc.identifier.otherPURE UUID: cfe892bd-5924-43c1-a708-07f0fdd00836
dc.identifier.otherdspace: 2299/1974
dc.identifier.otherScopus: 0036989083
dc.identifier.urihttp://hdl.handle.net/2299/6625
dc.description.abstractA type system with atomic subtyping and a special form of operator overloading, which we call oset-homomorphism is proposed. A set of operator overloadings is said to be oset-homomorphic when for each pair of overloadings the coercion function realises a homomorphism of types and at the same time certain conditions on the operator type signa- ture are satised. We demonstrate that oset-homomorphic overloading has sucient power for supporting a compre- hensive set of array operations in a declarative language. The problem of inferring the least types in our type system is proven to be equivalent to the shortest path problem for weighted, directed graphs with non-negative cycle weights, which has a computationally ecient solution.en
dc.language.isoeng
dc.publisherACM Press
dc.relation.ispartofIn: Procs of the 4th ACM SIGPLAN Int Conf on Principles and Practice of Declarative Programming
dc.rightsOpen
dc.titleCoercion as homomorphism: type inference in a system with subtyping and overloadingen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.description.versiontypeFinal Accepted Version
dcterms.dateAccepted2002
rioxxterms.versionAM
rioxxterms.versionofrecordhttps://doi.org/10.1145/571157.571160
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record