Matches in SemOpenAlex for { <https://semopenalex.org/work/W1593466949> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1593466949 endingPage "162" @default.
- W1593466949 startingPage "147" @default.
- W1593466949 abstract "We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with their laws, and implemented state and resumption monad transformers as generic constructor class instances. This is a step towards our goal of giving modular denotational semantics for concurrent lazy functional programming languages, such as GHC Haskell." @default.
- W1593466949 created "2016-06-24" @default.
- W1593466949 creator A5012421568 @default.
- W1593466949 creator A5013696585 @default.
- W1593466949 creator A5053815782 @default.
- W1593466949 date "2005-01-01" @default.
- W1593466949 modified "2023-10-17" @default.
- W1593466949 title "Axiomatic Constructor Classes in Isabelle/HOLCF" @default.
- W1593466949 cites W1553511155 @default.
- W1593466949 cites W1579218062 @default.
- W1593466949 cites W1603377159 @default.
- W1593466949 cites W1755481569 @default.
- W1593466949 cites W1881794246 @default.
- W1593466949 cites W2099417197 @default.
- W1593466949 cites W2113426200 @default.
- W1593466949 cites W2117573317 @default.
- W1593466949 cites W2120905340 @default.
- W1593466949 cites W2129270522 @default.
- W1593466949 cites W2140080346 @default.
- W1593466949 cites W4250846042 @default.
- W1593466949 doi "https://doi.org/10.1007/11541868_10" @default.
- W1593466949 hasPublicationYear "2005" @default.
- W1593466949 type Work @default.
- W1593466949 sameAs 1593466949 @default.
- W1593466949 citedByCount "14" @default.
- W1593466949 countsByYear W15934669492012 @default.
- W1593466949 countsByYear W15934669492013 @default.
- W1593466949 countsByYear W15934669492017 @default.
- W1593466949 countsByYear W15934669492018 @default.
- W1593466949 countsByYear W15934669492020 @default.
- W1593466949 crossrefType "book-chapter" @default.
- W1593466949 hasAuthorship W1593466949A5012421568 @default.
- W1593466949 hasAuthorship W1593466949A5013696585 @default.
- W1593466949 hasAuthorship W1593466949A5053815782 @default.
- W1593466949 hasConcept C101468663 @default.
- W1593466949 hasConcept C118615104 @default.
- W1593466949 hasConcept C154945302 @default.
- W1593466949 hasConcept C156325763 @default.
- W1593466949 hasConcept C156772000 @default.
- W1593466949 hasConcept C167729594 @default.
- W1593466949 hasConcept C184337299 @default.
- W1593466949 hasConcept C199360897 @default.
- W1593466949 hasConcept C207648694 @default.
- W1593466949 hasConcept C2524010 @default.
- W1593466949 hasConcept C2777212361 @default.
- W1593466949 hasConcept C2780624054 @default.
- W1593466949 hasConcept C33923547 @default.
- W1593466949 hasConcept C33959348 @default.
- W1593466949 hasConcept C41008148 @default.
- W1593466949 hasConcept C42383842 @default.
- W1593466949 hasConcept C80444323 @default.
- W1593466949 hasConceptScore W1593466949C101468663 @default.
- W1593466949 hasConceptScore W1593466949C118615104 @default.
- W1593466949 hasConceptScore W1593466949C154945302 @default.
- W1593466949 hasConceptScore W1593466949C156325763 @default.
- W1593466949 hasConceptScore W1593466949C156772000 @default.
- W1593466949 hasConceptScore W1593466949C167729594 @default.
- W1593466949 hasConceptScore W1593466949C184337299 @default.
- W1593466949 hasConceptScore W1593466949C199360897 @default.
- W1593466949 hasConceptScore W1593466949C207648694 @default.
- W1593466949 hasConceptScore W1593466949C2524010 @default.
- W1593466949 hasConceptScore W1593466949C2777212361 @default.
- W1593466949 hasConceptScore W1593466949C2780624054 @default.
- W1593466949 hasConceptScore W1593466949C33923547 @default.
- W1593466949 hasConceptScore W1593466949C33959348 @default.
- W1593466949 hasConceptScore W1593466949C41008148 @default.
- W1593466949 hasConceptScore W1593466949C42383842 @default.
- W1593466949 hasConceptScore W1593466949C80444323 @default.
- W1593466949 hasLocation W15934669491 @default.
- W1593466949 hasOpenAccess W1593466949 @default.
- W1593466949 hasPrimaryLocation W15934669491 @default.
- W1593466949 hasRelatedWork W1587224678 @default.
- W1593466949 hasRelatedWork W1840288141 @default.
- W1593466949 hasRelatedWork W1980408208 @default.
- W1593466949 hasRelatedWork W2117573317 @default.
- W1593466949 hasRelatedWork W2130086153 @default.
- W1593466949 hasRelatedWork W2227683586 @default.
- W1593466949 hasRelatedWork W2804733059 @default.
- W1593466949 hasRelatedWork W2500839137 @default.
- W1593466949 hasRelatedWork W2517671451 @default.
- W1593466949 hasRelatedWork W2787754425 @default.
- W1593466949 isParatext "false" @default.
- W1593466949 isRetracted "false" @default.
- W1593466949 magId "1593466949" @default.
- W1593466949 workType "book-chapter" @default.