FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116286972> ?p ?o ?g. }

• W2116286972 abstract "Most conventional programming languages have direct methods for representing first-order terms (say, via concrete datatypes in ML). If it is necessary to represent structures containing bound variables, such as λ-terms, formulas, types, or proofs, these must first be mapped into first-order terms, and then a significant number of auxiliary procedures must be implemented to manage bound variable names, check for free occurrences, do substitution, test for equality modulo alphaconversion, etc. We shall show how the applicative core of the ML programming language can be enhanced so that λ-terms can be represented more directly and so that the enhanced language, called MLλ, provides a more elegant method of manipulating bound variables within data structures. In fact, the names of bound variables will not be accessible to the MLλ programmer. This extension to ML involves the following: introduction of the new type constructor ’a => ’b for the type of λ-terms formed by abstracting a parameter of type ’a out of a term of type ’b; a very restricted and simple form of higher-order pattern matching; a method for extending a given data structure with a new constructor; and, a method for extending function definitions to handle such new constructors. We present several examples of MLλ programs." @default.
• W2116286972 created "2016-06-24" @default.
• W2116286972 creator A5018394339 @default.
• W2116286972 date "1990-01-01" @default.
• W2116286972 modified "2023-09-27" @default.
• W2116286972 title "An Extension to ML to Handle Bound Variables in Data Structures: Preliminary Report" @default.
• W2116286972 cites W1483170865 @default.
• W2116286972 cites W1498580132 @default.
• W2116286972 cites W1502036879 @default.
• W2116286972 cites W1530295539 @default.
• W2116286972 cites W1542795482 @default.
• W2116286972 cites W1550435668 @default.
• W2116286972 cites W1986402635 @default.
• W2116286972 cites W1995955735 @default.
• W2116286972 cites W2009464583 @default.
• W2116286972 cites W2062968803 @default.
• W2116286972 cites W2070577487 @default.
• W2116286972 cites W2093111544 @default.
• W2116286972 cites W2112308928 @default.
• W2116286972 cites W2163693197 @default.
• W2116286972 hasPublicationYear "1990" @default.
• W2116286972 type Work @default.
• W2116286972 sameAs 2116286972 @default.
• W2116286972 citedByCount "10" @default.
• W2116286972 crossrefType "journal-article" @default.
• W2116286972 hasAuthorship W2116286972A5018394339 @default.
• W2116286972 hasConcept C105795698 @default.
• W2116286972 hasConcept C108710211 @default.
• W2116286972 hasConcept C111472728 @default.
• W2116286972 hasConcept C11413529 @default.
• W2116286972 hasConcept C118615104 @default.
• W2116286972 hasConcept C134306372 @default.
• W2116286972 hasConcept C138885662 @default.
• W2116286972 hasConcept C138958017 @default.
• W2116286972 hasConcept C14036430 @default.
• W2116286972 hasConcept C162319229 @default.
• W2116286972 hasConcept C165064840 @default.
• W2116286972 hasConcept C182365436 @default.
• W2116286972 hasConcept C18903297 @default.
• W2116286972 hasConcept C199360897 @default.
• W2116286972 hasConcept C2524010 @default.
• W2116286972 hasConcept C2777299769 @default.
• W2116286972 hasConcept C2778029271 @default.
• W2116286972 hasConcept C2778220771 @default.
• W2116286972 hasConcept C2778514511 @default.
• W2116286972 hasConcept C2780586882 @default.
• W2116286972 hasConcept C33923547 @default.
• W2116286972 hasConcept C41008148 @default.
• W2116286972 hasConcept C54732982 @default.
• W2116286972 hasConcept C77553402 @default.
• W2116286972 hasConcept C78458016 @default.
• W2116286972 hasConcept C80444323 @default.
• W2116286972 hasConcept C86803240 @default.
• W2116286972 hasConceptScore W2116286972C105795698 @default.
• W2116286972 hasConceptScore W2116286972C108710211 @default.
• W2116286972 hasConceptScore W2116286972C111472728 @default.
• W2116286972 hasConceptScore W2116286972C11413529 @default.
• W2116286972 hasConceptScore W2116286972C118615104 @default.
• W2116286972 hasConceptScore W2116286972C134306372 @default.
• W2116286972 hasConceptScore W2116286972C138885662 @default.
• W2116286972 hasConceptScore W2116286972C138958017 @default.
• W2116286972 hasConceptScore W2116286972C14036430 @default.
• W2116286972 hasConceptScore W2116286972C162319229 @default.
• W2116286972 hasConceptScore W2116286972C165064840 @default.
• W2116286972 hasConceptScore W2116286972C182365436 @default.
• W2116286972 hasConceptScore W2116286972C18903297 @default.
• W2116286972 hasConceptScore W2116286972C199360897 @default.
• W2116286972 hasConceptScore W2116286972C2524010 @default.
• W2116286972 hasConceptScore W2116286972C2777299769 @default.
• W2116286972 hasConceptScore W2116286972C2778029271 @default.
• W2116286972 hasConceptScore W2116286972C2778220771 @default.
• W2116286972 hasConceptScore W2116286972C2778514511 @default.
• W2116286972 hasConceptScore W2116286972C2780586882 @default.
• W2116286972 hasConceptScore W2116286972C33923547 @default.
• W2116286972 hasConceptScore W2116286972C41008148 @default.
• W2116286972 hasConceptScore W2116286972C54732982 @default.
• W2116286972 hasConceptScore W2116286972C77553402 @default.
• W2116286972 hasConceptScore W2116286972C78458016 @default.
• W2116286972 hasConceptScore W2116286972C80444323 @default.
• W2116286972 hasConceptScore W2116286972C86803240 @default.
• W2116286972 hasLocation W21162869721 @default.
• W2116286972 hasOpenAccess W2116286972 @default.
• W2116286972 hasPrimaryLocation W21162869721 @default.
• W2116286972 hasRelatedWork W1546727036 @default.
• W2116286972 hasRelatedWork W1550435668 @default.
• W2116286972 hasRelatedWork W1567853881 @default.
• W2116286972 hasRelatedWork W1586167239 @default.
• W2116286972 hasRelatedWork W1586302513 @default.
• W2116286972 hasRelatedWork W1588934256 @default.
• W2116286972 hasRelatedWork W1634581701 @default.
• W2116286972 hasRelatedWork W1727609483 @default.
• W2116286972 hasRelatedWork W1949275316 @default.
• W2116286972 hasRelatedWork W1974190112 @default.
• W2116286972 hasRelatedWork W1975957807 @default.
• W2116286972 hasRelatedWork W1996404651 @default.
• W2116286972 hasRelatedWork W2009464583 @default.
• W2116286972 hasRelatedWork W2046645050 @default.
• W2116286972 hasRelatedWork W2075352622 @default.
• W2116286972 hasRelatedWork W2108857165 @default.
• W2116286972 hasRelatedWork W2123887510 @default.

• next