Matches in SemOpenAlex for { <https://semopenalex.org/work/W1645062691> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1645062691 endingPage "61" @default.
- W1645062691 startingPage "47" @default.
- W1645062691 abstract "This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operational semantics, but is excluded by the common representation of binding as meta-level λ-abstraction. Drawing upon ideas from functional logic programming, we represent such definitions with aliasing as recursively defined functions in a higher-order typed functional programming language that extends core ML with types for name-binding, a type of “semi-decidable propositions” and existential quantification for types with decidable equality. We show that the representation is sound and complete with respect to the language’s operational semantics, which combines the use of evaluation contexts with constraint programming. We also give a new and simple proof that the associated constraint problem is NP-complete." @default.
- W1645062691 created "2016-06-24" @default.
- W1645062691 creator A5003454366 @default.
- W1645062691 creator A5035484728 @default.
- W1645062691 date "2009-01-01" @default.
- W1645062691 modified "2023-10-15" @default.
- W1645062691 title "Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming" @default.
- W1645062691 cites W1512480360 @default.
- W1645062691 cites W1567525491 @default.
- W1645062691 cites W1593245524 @default.
- W1645062691 cites W1600654899 @default.
- W1645062691 cites W1814221162 @default.
- W1645062691 cites W1829244603 @default.
- W1645062691 cites W1993375565 @default.
- W1645062691 cites W2028731306 @default.
- W1645062691 cites W2092116738 @default.
- W1645062691 cites W2096757332 @default.
- W1645062691 cites W2151716725 @default.
- W1645062691 cites W2172176924 @default.
- W1645062691 cites W2180471721 @default.
- W1645062691 cites W2290372454 @default.
- W1645062691 cites W2568721247 @default.
- W1645062691 cites W2912255765 @default.
- W1645062691 cites W2913730763 @default.
- W1645062691 cites W4252567017 @default.
- W1645062691 doi "https://doi.org/10.1007/978-3-642-00590-9_4" @default.
- W1645062691 hasPublicationYear "2009" @default.
- W1645062691 type Work @default.
- W1645062691 sameAs 1645062691 @default.
- W1645062691 citedByCount "5" @default.
- W1645062691 countsByYear W16450626912012 @default.
- W1645062691 countsByYear W16450626912017 @default.
- W1645062691 crossrefType "book-chapter" @default.
- W1645062691 hasAuthorship W1645062691A5003454366 @default.
- W1645062691 hasAuthorship W1645062691A5035484728 @default.
- W1645062691 hasBestOaLocation W16450626911 @default.
- W1645062691 hasConcept C128838566 @default.
- W1645062691 hasConcept C136536468 @default.
- W1645062691 hasConcept C153269930 @default.
- W1645062691 hasConcept C154945302 @default.
- W1645062691 hasConcept C156325763 @default.
- W1645062691 hasConcept C17744445 @default.
- W1645062691 hasConcept C184337299 @default.
- W1645062691 hasConcept C18903297 @default.
- W1645062691 hasConcept C199360897 @default.
- W1645062691 hasConcept C199539241 @default.
- W1645062691 hasConcept C2524010 @default.
- W1645062691 hasConcept C2776036281 @default.
- W1645062691 hasConcept C2776359362 @default.
- W1645062691 hasConcept C2777299769 @default.
- W1645062691 hasConcept C33923547 @default.
- W1645062691 hasConcept C4069607 @default.
- W1645062691 hasConcept C41008148 @default.
- W1645062691 hasConcept C42383842 @default.
- W1645062691 hasConcept C80444323 @default.
- W1645062691 hasConcept C86803240 @default.
- W1645062691 hasConcept C93682546 @default.
- W1645062691 hasConcept C94625758 @default.
- W1645062691 hasConceptScore W1645062691C128838566 @default.
- W1645062691 hasConceptScore W1645062691C136536468 @default.
- W1645062691 hasConceptScore W1645062691C153269930 @default.
- W1645062691 hasConceptScore W1645062691C154945302 @default.
- W1645062691 hasConceptScore W1645062691C156325763 @default.
- W1645062691 hasConceptScore W1645062691C17744445 @default.
- W1645062691 hasConceptScore W1645062691C184337299 @default.
- W1645062691 hasConceptScore W1645062691C18903297 @default.
- W1645062691 hasConceptScore W1645062691C199360897 @default.
- W1645062691 hasConceptScore W1645062691C199539241 @default.
- W1645062691 hasConceptScore W1645062691C2524010 @default.
- W1645062691 hasConceptScore W1645062691C2776036281 @default.
- W1645062691 hasConceptScore W1645062691C2776359362 @default.
- W1645062691 hasConceptScore W1645062691C2777299769 @default.
- W1645062691 hasConceptScore W1645062691C33923547 @default.
- W1645062691 hasConceptScore W1645062691C4069607 @default.
- W1645062691 hasConceptScore W1645062691C41008148 @default.
- W1645062691 hasConceptScore W1645062691C42383842 @default.
- W1645062691 hasConceptScore W1645062691C80444323 @default.
- W1645062691 hasConceptScore W1645062691C86803240 @default.
- W1645062691 hasConceptScore W1645062691C93682546 @default.
- W1645062691 hasConceptScore W1645062691C94625758 @default.
- W1645062691 hasLocation W16450626911 @default.
- W1645062691 hasLocation W16450626912 @default.
- W1645062691 hasOpenAccess W1645062691 @default.
- W1645062691 hasPrimaryLocation W16450626911 @default.
- W1645062691 hasRelatedWork W1523326720 @default.
- W1645062691 hasRelatedWork W1606874744 @default.
- W1645062691 hasRelatedWork W1645062691 @default.
- W1645062691 hasRelatedWork W1873258151 @default.
- W1645062691 hasRelatedWork W1976684752 @default.
- W1645062691 hasRelatedWork W2032673545 @default.
- W1645062691 hasRelatedWork W2057588976 @default.
- W1645062691 hasRelatedWork W3103140263 @default.
- W1645062691 hasRelatedWork W1678966650 @default.
- W1645062691 hasRelatedWork W1960833838 @default.
- W1645062691 isParatext "false" @default.
- W1645062691 isRetracted "false" @default.
- W1645062691 magId "1645062691" @default.
- W1645062691 workType "book-chapter" @default.