Show simple item record

dc.contributor.authorBuchanan, K.M.
dc.contributor.authorDickerson, R.
dc.date.accessioned2010-07-22T14:46:45Z
dc.date.available2010-07-22T14:46:45Z
dc.date.issued1992
dc.identifier.citationBuchanan , K M & Dickerson , R 1992 , An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell . UH Computer Science Technical Report , vol. 154 , University of Hertfordshire .
dc.identifier.otherPURE: 98970
dc.identifier.otherPURE UUID: 6b47788e-dddd-48b2-abf2-21da3491ff4c
dc.identifier.otherdspace: 2299/4686
dc.identifier.urihttp://hdl.handle.net/2299/4686
dc.description.abstractThe treatment of types in programming and in type checking is considered briefly and types are distinguished from classes. The subtyping relation is discussed with particular emphasis on the consequences of combining the inheritance and subtyping hierarchies in object-oriented programming. Less restrictive type relationships for inheritance are discussed and it is concluded that there are advantages in separating implementation inheritance from subtyping. Further work is needed to establish the significance of such a separation throughout the system development process.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rights/dk/atira/pure/core/openaccesspermission/open
dc.titleAn investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskellen
dc.contributor.institutionSchool of Computer Science
dc.relation.schoolSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstyperestrictedAccess


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record