Matches in SemOpenAlex for { <https://semopenalex.org/work/W40564209> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W40564209 endingPage "269" @default.
- W40564209 startingPage "249" @default.
- W40564209 abstract "We explore the duality of construction and deconstruction in the presence of different evaluation strategies. We characterize an evaluation strategy by the notion of substitutability, given by defining what is a value and a co-value, and we present an equational theory that takes the strategy as a parameter. The theory may be extended with new logical connectives, in the form of user-defined data and co-data types, which are duals of one another. Finally, we explore a calculus with composite evaluation strategies that allow for more flexibility over evaluation order by mingling multiple primitive strategies within a single program." @default.
- W40564209 created "2016-06-24" @default.
- W40564209 creator A5020454182 @default.
- W40564209 creator A5064696313 @default.
- W40564209 date "2014-01-01" @default.
- W40564209 modified "2023-10-17" @default.
- W40564209 title "The Duality of Construction" @default.
- W40564209 cites W1738264400 @default.
- W40564209 cites W184349421 @default.
- W40564209 cites W2074592053 @default.
- W40564209 cites W2102706914 @default.
- W40564209 cites W2131807903 @default.
- W40564209 cites W2160728467 @default.
- W40564209 cites W2911865844 @default.
- W40564209 cites W3006524471 @default.
- W40564209 cites W3033845441 @default.
- W40564209 doi "https://doi.org/10.1007/978-3-642-54833-8_14" @default.
- W40564209 hasPublicationYear "2014" @default.
- W40564209 type Work @default.
- W40564209 sameAs 40564209 @default.
- W40564209 citedByCount "11" @default.
- W40564209 countsByYear W405642092015 @default.
- W40564209 countsByYear W405642092016 @default.
- W40564209 countsByYear W405642092018 @default.
- W40564209 countsByYear W405642092019 @default.
- W40564209 countsByYear W405642092022 @default.
- W40564209 crossrefType "book-chapter" @default.
- W40564209 hasAuthorship W40564209A5020454182 @default.
- W40564209 hasAuthorship W40564209A5064696313 @default.
- W40564209 hasBestOaLocation W405642091 @default.
- W40564209 hasConcept C10138342 @default.
- W40564209 hasConcept C105313907 @default.
- W40564209 hasConcept C105795698 @default.
- W40564209 hasConcept C119857082 @default.
- W40564209 hasConcept C136119220 @default.
- W40564209 hasConcept C138885662 @default.
- W40564209 hasConcept C144133560 @default.
- W40564209 hasConcept C144237770 @default.
- W40564209 hasConcept C182306322 @default.
- W40564209 hasConcept C199343813 @default.
- W40564209 hasConcept C202444582 @default.
- W40564209 hasConcept C2776291640 @default.
- W40564209 hasConcept C2777686260 @default.
- W40564209 hasConcept C2778023678 @default.
- W40564209 hasConcept C2780598303 @default.
- W40564209 hasConcept C2780980858 @default.
- W40564209 hasConcept C33923547 @default.
- W40564209 hasConcept C41008148 @default.
- W40564209 hasConcept C41895202 @default.
- W40564209 hasConcept C71924100 @default.
- W40564209 hasConcept C80444323 @default.
- W40564209 hasConceptScore W40564209C10138342 @default.
- W40564209 hasConceptScore W40564209C105313907 @default.
- W40564209 hasConceptScore W40564209C105795698 @default.
- W40564209 hasConceptScore W40564209C119857082 @default.
- W40564209 hasConceptScore W40564209C136119220 @default.
- W40564209 hasConceptScore W40564209C138885662 @default.
- W40564209 hasConceptScore W40564209C144133560 @default.
- W40564209 hasConceptScore W40564209C144237770 @default.
- W40564209 hasConceptScore W40564209C182306322 @default.
- W40564209 hasConceptScore W40564209C199343813 @default.
- W40564209 hasConceptScore W40564209C202444582 @default.
- W40564209 hasConceptScore W40564209C2776291640 @default.
- W40564209 hasConceptScore W40564209C2777686260 @default.
- W40564209 hasConceptScore W40564209C2778023678 @default.
- W40564209 hasConceptScore W40564209C2780598303 @default.
- W40564209 hasConceptScore W40564209C2780980858 @default.
- W40564209 hasConceptScore W40564209C33923547 @default.
- W40564209 hasConceptScore W40564209C41008148 @default.
- W40564209 hasConceptScore W40564209C41895202 @default.
- W40564209 hasConceptScore W40564209C71924100 @default.
- W40564209 hasConceptScore W40564209C80444323 @default.
- W40564209 hasLocation W405642091 @default.
- W40564209 hasOpenAccess W40564209 @default.
- W40564209 hasPrimaryLocation W405642091 @default.
- W40564209 hasRelatedWork W1971283516 @default.
- W40564209 hasRelatedWork W2042160610 @default.
- W40564209 hasRelatedWork W2105806995 @default.
- W40564209 hasRelatedWork W2131807903 @default.
- W40564209 hasRelatedWork W2139898805 @default.
- W40564209 hasRelatedWork W2165286769 @default.
- W40564209 hasRelatedWork W2353444595 @default.
- W40564209 hasRelatedWork W3143554305 @default.
- W40564209 hasRelatedWork W4287231394 @default.
- W40564209 hasRelatedWork W72871153 @default.
- W40564209 isParatext "false" @default.
- W40564209 isRetracted "false" @default.
- W40564209 magId "40564209" @default.
- W40564209 workType "book-chapter" @default.