Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162912003> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2162912003 abstract "This paper introduces the Recursive Polarized Dual Calculus (RP-DC), based on Wadler's Dual Calculus. RP-DC features a polarized form of reduction, which enables several simplifications over previous related systems. It also adds inductive types with recursion, from which coinductive types with corecursion can be defined. Typing and reduction relations are defined for RP-DC, and we consider several examples of practical programming. Logical consistency is proved, as well as a canonicity theorem showing that all closed values of a certain family of types are canonical. This shows how RP-DC can be used for practical programming, where canonical final results are required." @default.
- W2162912003 created "2016-06-24" @default.
- W2162912003 creator A5072489480 @default.
- W2162912003 date "2014-01-11" @default.
- W2162912003 modified "2023-09-25" @default.
- W2162912003 title "The recursive polarized dual calculus" @default.
- W2162912003 cites W1969167499 @default.
- W2162912003 cites W2007759294 @default.
- W2162912003 cites W2015640848 @default.
- W2162912003 cites W2016326123 @default.
- W2162912003 cites W2085552917 @default.
- W2162912003 cites W2096529083 @default.
- W2162912003 cites W2131807903 @default.
- W2162912003 cites W2134649613 @default.
- W2162912003 cites W2135287414 @default.
- W2162912003 cites W2143730076 @default.
- W2162912003 cites W2293168108 @default.
- W2162912003 doi "https://doi.org/10.1145/2541568.2541575" @default.
- W2162912003 hasPublicationYear "2014" @default.
- W2162912003 type Work @default.
- W2162912003 sameAs 2162912003 @default.
- W2162912003 citedByCount "1" @default.
- W2162912003 countsByYear W21629120032017 @default.
- W2162912003 crossrefType "proceedings-article" @default.
- W2162912003 hasAuthorship W2162912003A5072489480 @default.
- W2162912003 hasConcept C138885662 @default.
- W2162912003 hasConcept C199343813 @default.
- W2162912003 hasConcept C2777686260 @default.
- W2162912003 hasConcept C2780980858 @default.
- W2162912003 hasConcept C41008148 @default.
- W2162912003 hasConcept C41895202 @default.
- W2162912003 hasConcept C71924100 @default.
- W2162912003 hasConceptScore W2162912003C138885662 @default.
- W2162912003 hasConceptScore W2162912003C199343813 @default.
- W2162912003 hasConceptScore W2162912003C2777686260 @default.
- W2162912003 hasConceptScore W2162912003C2780980858 @default.
- W2162912003 hasConceptScore W2162912003C41008148 @default.
- W2162912003 hasConceptScore W2162912003C41895202 @default.
- W2162912003 hasConceptScore W2162912003C71924100 @default.
- W2162912003 hasLocation W21629120031 @default.
- W2162912003 hasOpenAccess W2162912003 @default.
- W2162912003 hasPrimaryLocation W21629120031 @default.
- W2162912003 hasRelatedWork W1810068239 @default.
- W2162912003 hasRelatedWork W2000227345 @default.
- W2162912003 hasRelatedWork W2037075509 @default.
- W2162912003 hasRelatedWork W2158065114 @default.
- W2162912003 hasRelatedWork W2352337710 @default.
- W2162912003 hasRelatedWork W2390279801 @default.
- W2162912003 hasRelatedWork W2748952813 @default.
- W2162912003 hasRelatedWork W2888099079 @default.
- W2162912003 hasRelatedWork W2899084033 @default.
- W2162912003 hasRelatedWork W3087617596 @default.
- W2162912003 isParatext "false" @default.
- W2162912003 isRetracted "false" @default.
- W2162912003 magId "2162912003" @default.
- W2162912003 workType "article" @default.