Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035713914> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2035713914 endingPage "113" @default.
- W2035713914 startingPage "89" @default.
- W2035713914 abstract "Induction recursion offers the possibility of a clean, simple and yet powerful meta-language for the type system of a dependently typed programming language. At its crux, induction recursion allows us to define a universe, that is a set U of codes and a decoding function T : U → D which assigns to every code u : U , a value T, u of some type D, e.g. the large type Set of small types or sets. The name induction recursion refers to the build-up of codes in U using inductive clauses, simultaneously with the definition of the function T , by structural recursion on codes. Our contribution is to (i) bring out explicitly algebraic structure which is less visible in the original type-theoretic presentation – in particular showing how containers and monads play a pivotal role within induction recursion; and (ii) use these structures to present a clean and high level definition of induction recursion suitable for use in functional programming." @default.
- W2035713914 created "2016-06-24" @default.
- W2035713914 creator A5044225957 @default.
- W2035713914 creator A5068566330 @default.
- W2035713914 date "2014-11-20" @default.
- W2035713914 modified "2023-09-23" @default.
- W2035713914 title "Containers, monads and induction recursion" @default.
- W2035713914 cites W1530894146 @default.
- W2035713914 cites W1539303361 @default.
- W2035713914 cites W1558175043 @default.
- W2035713914 cites W1593841126 @default.
- W2035713914 cites W1836508668 @default.
- W2035713914 cites W2034621723 @default.
- W2035713914 cites W2035241416 @default.
- W2035713914 cites W2058174669 @default.
- W2035713914 cites W2079640625 @default.
- W2035713914 cites W2088156780 @default.
- W2035713914 cites W2132221175 @default.
- W2035713914 cites W2229616979 @default.
- W2035713914 cites W2296612922 @default.
- W2035713914 cites W4213279211 @default.
- W2035713914 doi "https://doi.org/10.1017/s0960129514000127" @default.
- W2035713914 hasPublicationYear "2014" @default.
- W2035713914 type Work @default.
- W2035713914 sameAs 2035713914 @default.
- W2035713914 citedByCount "2" @default.
- W2035713914 countsByYear W20357139142015 @default.
- W2035713914 countsByYear W20357139142021 @default.
- W2035713914 crossrefType "journal-article" @default.
- W2035713914 hasAuthorship W2035713914A5044225957 @default.
- W2035713914 hasAuthorship W2035713914A5068566330 @default.
- W2035713914 hasConcept C111472728 @default.
- W2035713914 hasConcept C124416688 @default.
- W2035713914 hasConcept C136119220 @default.
- W2035713914 hasConcept C138885662 @default.
- W2035713914 hasConcept C139503435 @default.
- W2035713914 hasConcept C14036430 @default.
- W2035713914 hasConcept C168773036 @default.
- W2035713914 hasConcept C177264268 @default.
- W2035713914 hasConcept C182419690 @default.
- W2035713914 hasConcept C18903297 @default.
- W2035713914 hasConcept C199360897 @default.
- W2035713914 hasConcept C202444582 @default.
- W2035713914 hasConcept C2777299769 @default.
- W2035713914 hasConcept C2780586882 @default.
- W2035713914 hasConcept C33923547 @default.
- W2035713914 hasConcept C41008148 @default.
- W2035713914 hasConcept C78458016 @default.
- W2035713914 hasConcept C80444323 @default.
- W2035713914 hasConcept C86803240 @default.
- W2035713914 hasConceptScore W2035713914C111472728 @default.
- W2035713914 hasConceptScore W2035713914C124416688 @default.
- W2035713914 hasConceptScore W2035713914C136119220 @default.
- W2035713914 hasConceptScore W2035713914C138885662 @default.
- W2035713914 hasConceptScore W2035713914C139503435 @default.
- W2035713914 hasConceptScore W2035713914C14036430 @default.
- W2035713914 hasConceptScore W2035713914C168773036 @default.
- W2035713914 hasConceptScore W2035713914C177264268 @default.
- W2035713914 hasConceptScore W2035713914C182419690 @default.
- W2035713914 hasConceptScore W2035713914C18903297 @default.
- W2035713914 hasConceptScore W2035713914C199360897 @default.
- W2035713914 hasConceptScore W2035713914C202444582 @default.
- W2035713914 hasConceptScore W2035713914C2777299769 @default.
- W2035713914 hasConceptScore W2035713914C2780586882 @default.
- W2035713914 hasConceptScore W2035713914C33923547 @default.
- W2035713914 hasConceptScore W2035713914C41008148 @default.
- W2035713914 hasConceptScore W2035713914C78458016 @default.
- W2035713914 hasConceptScore W2035713914C80444323 @default.
- W2035713914 hasConceptScore W2035713914C86803240 @default.
- W2035713914 hasIssue "1" @default.
- W2035713914 hasLocation W20357139141 @default.
- W2035713914 hasOpenAccess W2035713914 @default.
- W2035713914 hasPrimaryLocation W20357139141 @default.
- W2035713914 hasRelatedWork W1973821254 @default.
- W2035713914 hasRelatedWork W1998092208 @default.
- W2035713914 hasRelatedWork W2011848188 @default.
- W2035713914 hasRelatedWork W2050745358 @default.
- W2035713914 hasRelatedWork W2058503879 @default.
- W2035713914 hasRelatedWork W2273920291 @default.
- W2035713914 hasRelatedWork W2889686073 @default.
- W2035713914 hasRelatedWork W2948422902 @default.
- W2035713914 hasRelatedWork W2999779314 @default.
- W2035713914 hasRelatedWork W4230976955 @default.
- W2035713914 hasVolume "26" @default.
- W2035713914 isParatext "false" @default.
- W2035713914 isRetracted "false" @default.
- W2035713914 magId "2035713914" @default.
- W2035713914 workType "article" @default.