Matches in SemOpenAlex for { <https://semopenalex.org/work/W2185128289> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2185128289 abstract "Type classes provide a mechanism for varied implementations of standard interfaces. Many of these interfaces are founded in mathematical tradition and so have regularity not only of types but also of properties (laws) that must hold. Types and properties give strong guidance to the library implementor, while leaving freedom as well. Some of this remaining freedom is in how the implementation works, and some is in what it accomplishes. To give additional guidance to the what, without impinging on the how, this paper proposes a principle of type class morphisms (TCMs), which further refines the compositional style of denotational semantics. The TCM idea is simply that the instance’s meaning follows the meaning’s instance. This principle determines the meaning of each type class instance, and hence defines correctness of implementation. It also serves to transfer laws about a type’s semantic model, such as the class laws, to hold for the type itself. In some cases, it provides a systematic guide to implementation, and in some cases, valuable design feedback. The paper is illustrated with several examples of types, meanings, and morphisms." @default.
- W2185128289 created "2016-06-24" @default.
- W2185128289 creator A5058654790 @default.
- W2185128289 date "2011-01-01" @default.
- W2185128289 modified "2023-09-27" @default.
- W2185128289 title "Denotational design with type class morphisms (extended version)" @default.
- W2185128289 cites W1519382205 @default.
- W2185128289 cites W1592287058 @default.
- W2185128289 cites W1598263475 @default.
- W2185128289 cites W2041337116 @default.
- W2185128289 cites W2047428963 @default.
- W2185128289 cites W2052227386 @default.
- W2185128289 cites W2055947235 @default.
- W2185128289 cites W2059895047 @default.
- W2185128289 cites W2064138295 @default.
- W2185128289 cites W2079512738 @default.
- W2185128289 cites W2080124533 @default.
- W2185128289 cites W2116813111 @default.
- W2185128289 cites W2168938117 @default.
- W2185128289 cites W2295743822 @default.
- W2185128289 cites W2295914203 @default.
- W2185128289 cites W3103200974 @default.
- W2185128289 cites W84930537 @default.
- W2185128289 hasPublicationYear "2011" @default.
- W2185128289 type Work @default.
- W2185128289 sameAs 2185128289 @default.
- W2185128289 citedByCount "2" @default.
- W2185128289 crossrefType "journal-article" @default.
- W2185128289 hasAuthorship W2185128289A5058654790 @default.
- W2185128289 hasConcept C111472728 @default.
- W2185128289 hasConcept C136119220 @default.
- W2185128289 hasConcept C137212723 @default.
- W2185128289 hasConcept C138885662 @default.
- W2185128289 hasConcept C154945302 @default.
- W2185128289 hasConcept C184337299 @default.
- W2185128289 hasConcept C18903297 @default.
- W2185128289 hasConcept C199360897 @default.
- W2185128289 hasConcept C202444582 @default.
- W2185128289 hasConcept C2777212361 @default.
- W2185128289 hasConcept C2777299769 @default.
- W2185128289 hasConcept C2780876879 @default.
- W2185128289 hasConcept C33923547 @default.
- W2185128289 hasConcept C41008148 @default.
- W2185128289 hasConcept C55439883 @default.
- W2185128289 hasConcept C80444323 @default.
- W2185128289 hasConcept C86803240 @default.
- W2185128289 hasConcept C93682546 @default.
- W2185128289 hasConceptScore W2185128289C111472728 @default.
- W2185128289 hasConceptScore W2185128289C136119220 @default.
- W2185128289 hasConceptScore W2185128289C137212723 @default.
- W2185128289 hasConceptScore W2185128289C138885662 @default.
- W2185128289 hasConceptScore W2185128289C154945302 @default.
- W2185128289 hasConceptScore W2185128289C184337299 @default.
- W2185128289 hasConceptScore W2185128289C18903297 @default.
- W2185128289 hasConceptScore W2185128289C199360897 @default.
- W2185128289 hasConceptScore W2185128289C202444582 @default.
- W2185128289 hasConceptScore W2185128289C2777212361 @default.
- W2185128289 hasConceptScore W2185128289C2777299769 @default.
- W2185128289 hasConceptScore W2185128289C2780876879 @default.
- W2185128289 hasConceptScore W2185128289C33923547 @default.
- W2185128289 hasConceptScore W2185128289C41008148 @default.
- W2185128289 hasConceptScore W2185128289C55439883 @default.
- W2185128289 hasConceptScore W2185128289C80444323 @default.
- W2185128289 hasConceptScore W2185128289C86803240 @default.
- W2185128289 hasConceptScore W2185128289C93682546 @default.
- W2185128289 hasLocation W21851282891 @default.
- W2185128289 hasOpenAccess W2185128289 @default.
- W2185128289 hasPrimaryLocation W21851282891 @default.
- W2185128289 hasRelatedWork W1546101356 @default.
- W2185128289 hasRelatedWork W1599561194 @default.
- W2185128289 hasRelatedWork W1764939356 @default.
- W2185128289 hasRelatedWork W1966624099 @default.
- W2185128289 hasRelatedWork W2036748811 @default.
- W2185128289 hasRelatedWork W2087851652 @default.
- W2185128289 hasRelatedWork W2101443478 @default.
- W2185128289 hasRelatedWork W2153547099 @default.
- W2185128289 hasRelatedWork W2174215409 @default.
- W2185128289 hasRelatedWork W2174460668 @default.
- W2185128289 hasRelatedWork W2184593658 @default.
- W2185128289 hasRelatedWork W2399700221 @default.
- W2185128289 hasRelatedWork W2617217520 @default.
- W2185128289 hasRelatedWork W2950297425 @default.
- W2185128289 hasRelatedWork W2950694678 @default.
- W2185128289 hasRelatedWork W2951043236 @default.
- W2185128289 hasRelatedWork W3129725704 @default.
- W2185128289 hasRelatedWork W627345477 @default.
- W2185128289 hasRelatedWork W91657821 @default.
- W2185128289 hasRelatedWork W3095687242 @default.
- W2185128289 isParatext "false" @default.
- W2185128289 isRetracted "false" @default.
- W2185128289 magId "2185128289" @default.
- W2185128289 workType "article" @default.