Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567853881> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1567853881 endingPage "353" @default.
- W1567853881 startingPage "339" @default.
- W1567853881 abstract "Higher-order encodings use functions provided by one language to represent variable binders of another. They lead to concise and elegant representations, which historically have been difficult to analyze and manipulate. In this paper we present the $nabla$ -calculus, a calculus for defining general recursive functions over higher-order encodings. To avoid problems commonly associated with using the same function space for representations and computations, we separate one from the other. The simply-typed λ-calculus plays the role of the representation-level. The computation-level contains not only the usual computational primitives but also an embedding of the representation-level. It distinguishes itself from similar systems by allowing recursion under representation-level λ-binders while permitting a natural style of programming which we believe scales to other logical frameworks. Sample programs include bracket abstraction, parallel reduction, and an evaluator for a simple language with first-class continuations." @default.
- W1567853881 created "2016-06-24" @default.
- W1567853881 creator A5016090065 @default.
- W1567853881 creator A5064022217 @default.
- W1567853881 creator A5070175127 @default.
- W1567853881 date "2005-01-01" @default.
- W1567853881 modified "2023-10-18" @default.
- W1567853881 title "The $nabla$ -Calculus. Functional Programming with Higher-Order Encodings" @default.
- W1567853881 cites W1567853881 @default.
- W1567853881 cites W1582062578 @default.
- W1567853881 cites W18425853 @default.
- W1567853881 cites W1949275316 @default.
- W1567853881 cites W1975957807 @default.
- W1567853881 cites W2033339909 @default.
- W1567853881 cites W2094455839 @default.
- W1567853881 doi "https://doi.org/10.1007/11417170_25" @default.
- W1567853881 hasPublicationYear "2005" @default.
- W1567853881 type Work @default.
- W1567853881 sameAs 1567853881 @default.
- W1567853881 citedByCount "33" @default.
- W1567853881 countsByYear W15678538812012 @default.
- W1567853881 countsByYear W15678538812013 @default.
- W1567853881 countsByYear W15678538812015 @default.
- W1567853881 countsByYear W15678538812019 @default.
- W1567853881 crossrefType "book-chapter" @default.
- W1567853881 hasAuthorship W1567853881A5016090065 @default.
- W1567853881 hasAuthorship W1567853881A5064022217 @default.
- W1567853881 hasAuthorship W1567853881A5070175127 @default.
- W1567853881 hasConcept C111472728 @default.
- W1567853881 hasConcept C124304363 @default.
- W1567853881 hasConcept C135790938 @default.
- W1567853881 hasConcept C136119220 @default.
- W1567853881 hasConcept C138885662 @default.
- W1567853881 hasConcept C154945302 @default.
- W1567853881 hasConcept C168773036 @default.
- W1567853881 hasConcept C17744445 @default.
- W1567853881 hasConcept C199343813 @default.
- W1567853881 hasConcept C199360897 @default.
- W1567853881 hasConcept C199539241 @default.
- W1567853881 hasConcept C202444582 @default.
- W1567853881 hasConcept C2776359362 @default.
- W1567853881 hasConcept C2777686260 @default.
- W1567853881 hasConcept C2780586882 @default.
- W1567853881 hasConcept C33923547 @default.
- W1567853881 hasConcept C41008148 @default.
- W1567853881 hasConcept C41608201 @default.
- W1567853881 hasConcept C42383842 @default.
- W1567853881 hasConcept C71924100 @default.
- W1567853881 hasConcept C80444323 @default.
- W1567853881 hasConcept C94625758 @default.
- W1567853881 hasConceptScore W1567853881C111472728 @default.
- W1567853881 hasConceptScore W1567853881C124304363 @default.
- W1567853881 hasConceptScore W1567853881C135790938 @default.
- W1567853881 hasConceptScore W1567853881C136119220 @default.
- W1567853881 hasConceptScore W1567853881C138885662 @default.
- W1567853881 hasConceptScore W1567853881C154945302 @default.
- W1567853881 hasConceptScore W1567853881C168773036 @default.
- W1567853881 hasConceptScore W1567853881C17744445 @default.
- W1567853881 hasConceptScore W1567853881C199343813 @default.
- W1567853881 hasConceptScore W1567853881C199360897 @default.
- W1567853881 hasConceptScore W1567853881C199539241 @default.
- W1567853881 hasConceptScore W1567853881C202444582 @default.
- W1567853881 hasConceptScore W1567853881C2776359362 @default.
- W1567853881 hasConceptScore W1567853881C2777686260 @default.
- W1567853881 hasConceptScore W1567853881C2780586882 @default.
- W1567853881 hasConceptScore W1567853881C33923547 @default.
- W1567853881 hasConceptScore W1567853881C41008148 @default.
- W1567853881 hasConceptScore W1567853881C41608201 @default.
- W1567853881 hasConceptScore W1567853881C42383842 @default.
- W1567853881 hasConceptScore W1567853881C71924100 @default.
- W1567853881 hasConceptScore W1567853881C80444323 @default.
- W1567853881 hasConceptScore W1567853881C94625758 @default.
- W1567853881 hasLocation W15678538811 @default.
- W1567853881 hasOpenAccess W1567853881 @default.
- W1567853881 hasPrimaryLocation W15678538811 @default.
- W1567853881 hasRelatedWork W1601811574 @default.
- W1567853881 hasRelatedWork W1803721540 @default.
- W1567853881 hasRelatedWork W1855927527 @default.
- W1567853881 hasRelatedWork W1987052335 @default.
- W1567853881 hasRelatedWork W2073202004 @default.
- W1567853881 hasRelatedWork W2087060298 @default.
- W1567853881 hasRelatedWork W2107774494 @default.
- W1567853881 hasRelatedWork W2142224267 @default.
- W1567853881 hasRelatedWork W2765318545 @default.
- W1567853881 hasRelatedWork W3160136729 @default.
- W1567853881 isParatext "false" @default.
- W1567853881 isRetracted "false" @default.
- W1567853881 magId "1567853881" @default.
- W1567853881 workType "book-chapter" @default.