Matches in SemOpenAlex for { <https://semopenalex.org/work/W3092834852> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3092834852 endingPage "113" @default.
- W3092834852 startingPage "95" @default.
- W3092834852 abstract "It is well-known in the field of programming languages that dealing with variable names and binders may lead to conflicts such as undesired captures when implementing interpreters or compilers. This situation has been overcome by resorting to de Bruijn indices for calculi where binders capture only one variable name, like the $lambda$-calculus. The advantage of this approach relies on the fact that so-called $alpha$-equivalence becomes syntactical equality when working with indices. In recent years pattern calculi have gained considerable attention given their expressiveness. They turn out to be notoriously convenient to study the foundations of modern functional programming languages modeling features like pattern matching, path polymorphism, pattern polymorphism, etc. However, the literature falls short when it comes to dealing with $alpha$-conversion and binders capturing simultaneously several variable names. Such is the case of the Pure Pattern Calculus (PPC): a natural extension of $lambda$-calculus that allows to abstract virtually any term. This paper extends de Bruijn's ideas to properly overcome the multi-binding problem by introducing a novel presentation of PPC with bidimensional indices, in an effort to implement a prototype for a typed functional programming language based on PPC that captures path polymorphism." @default.
- W3092834852 created "2020-10-22" @default.
- W3092834852 creator A5001823431 @default.
- W3092834852 creator A5045773672 @default.
- W3092834852 creator A5064308541 @default.
- W3092834852 date "2020-09-01" @default.
- W3092834852 modified "2023-09-27" @default.
- W3092834852 title "Pure Pattern Calculus à la de Bruijn" @default.
- W3092834852 cites W1549942386 @default.
- W3092834852 cites W1975808446 @default.
- W3092834852 cites W1987975642 @default.
- W3092834852 cites W2021119395 @default.
- W3092834852 cites W2038167131 @default.
- W3092834852 cites W2064085819 @default.
- W3092834852 cites W2099089064 @default.
- W3092834852 cites W2107072944 @default.
- W3092834852 cites W2114376769 @default.
- W3092834852 cites W2118420900 @default.
- W3092834852 cites W2139304585 @default.
- W3092834852 cites W2141943800 @default.
- W3092834852 cites W2154273644 @default.
- W3092834852 cites W2166643856 @default.
- W3092834852 cites W2171352675 @default.
- W3092834852 cites W2233101269 @default.
- W3092834852 cites W2568721247 @default.
- W3092834852 cites W2920715361 @default.
- W3092834852 cites W2963588438 @default.
- W3092834852 cites W3034832274 @default.
- W3092834852 cites W3105080229 @default.
- W3092834852 doi "https://doi.org/10.1016/j.entcs.2020.08.006" @default.
- W3092834852 hasPublicationYear "2020" @default.
- W3092834852 type Work @default.
- W3092834852 sameAs 3092834852 @default.
- W3092834852 citedByCount "0" @default.
- W3092834852 crossrefType "journal-article" @default.
- W3092834852 hasAuthorship W3092834852A5001823431 @default.
- W3092834852 hasAuthorship W3092834852A5045773672 @default.
- W3092834852 hasAuthorship W3092834852A5064308541 @default.
- W3092834852 hasBestOaLocation W30928348521 @default.
- W3092834852 hasConcept C118615104 @default.
- W3092834852 hasConcept C134306372 @default.
- W3092834852 hasConcept C135790938 @default.
- W3092834852 hasConcept C142156749 @default.
- W3092834852 hasConcept C154945302 @default.
- W3092834852 hasConcept C169590947 @default.
- W3092834852 hasConcept C170320093 @default.
- W3092834852 hasConcept C182365436 @default.
- W3092834852 hasConcept C198370458 @default.
- W3092834852 hasConcept C199360897 @default.
- W3092834852 hasConcept C2776214188 @default.
- W3092834852 hasConcept C2780069185 @default.
- W3092834852 hasConcept C33923547 @default.
- W3092834852 hasConcept C41008148 @default.
- W3092834852 hasConcept C68859911 @default.
- W3092834852 hasConcept C80444323 @default.
- W3092834852 hasConceptScore W3092834852C118615104 @default.
- W3092834852 hasConceptScore W3092834852C134306372 @default.
- W3092834852 hasConceptScore W3092834852C135790938 @default.
- W3092834852 hasConceptScore W3092834852C142156749 @default.
- W3092834852 hasConceptScore W3092834852C154945302 @default.
- W3092834852 hasConceptScore W3092834852C169590947 @default.
- W3092834852 hasConceptScore W3092834852C170320093 @default.
- W3092834852 hasConceptScore W3092834852C182365436 @default.
- W3092834852 hasConceptScore W3092834852C198370458 @default.
- W3092834852 hasConceptScore W3092834852C199360897 @default.
- W3092834852 hasConceptScore W3092834852C2776214188 @default.
- W3092834852 hasConceptScore W3092834852C2780069185 @default.
- W3092834852 hasConceptScore W3092834852C33923547 @default.
- W3092834852 hasConceptScore W3092834852C41008148 @default.
- W3092834852 hasConceptScore W3092834852C68859911 @default.
- W3092834852 hasConceptScore W3092834852C80444323 @default.
- W3092834852 hasLocation W30928348521 @default.
- W3092834852 hasLocation W30928348522 @default.
- W3092834852 hasOpenAccess W3092834852 @default.
- W3092834852 hasPrimaryLocation W30928348521 @default.
- W3092834852 hasRelatedWork W1545794938 @default.
- W3092834852 hasRelatedWork W1562483556 @default.
- W3092834852 hasRelatedWork W2105232714 @default.
- W3092834852 hasRelatedWork W2125333933 @default.
- W3092834852 hasRelatedWork W2157480301 @default.
- W3092834852 hasRelatedWork W2520254002 @default.
- W3092834852 hasRelatedWork W2752311799 @default.
- W3092834852 hasRelatedWork W3023703923 @default.
- W3092834852 hasRelatedWork W3034832274 @default.
- W3092834852 hasRelatedWork W4253164464 @default.
- W3092834852 hasVolume "351" @default.
- W3092834852 isParatext "false" @default.
- W3092834852 isRetracted "false" @default.
- W3092834852 magId "3092834852" @default.
- W3092834852 workType "article" @default.