FRINK Linked Data Fragments server

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

• W1963705166 abstract "Starting from a denotational semantics of the eager untyped lambda-calculus with explicit runtime errors, the standard collecting semantics is defined as specifying the strongest program properties. By a first abstraction, a new sound type collecting semantics is derived in compositional fix-point form. Then by successive (semi-dual) Galois connection based abstractions, type systems and/or type inference algorithms are designed as abstract semantics or abstract interpreters approximating the type collecting semantics. This leads to a hierarchy of type systems, which is part of the lattice of abstract interpretations of the untyped lambda-calculus. This hierarchy includes two new a la Church/Curry polytype systems. Abstractions of this polytype semantics lead to classical Milner/Mycroft and Damas/Milner polymorphic type schemes, Church/Curry monotypes and Hindley principal typing algorithm. This shows that types are abstract interpretations." @default.
• W1963705166 created "2016-06-24" @default.
• W1963705166 creator A5007730604 @default.
• W1963705166 date "1997-01-01" @default.
• W1963705166 modified "2023-09-30" @default.
• W1963705166 title "Types as abstract interpretations" @default.
• W1963705166 cites W1481466239 @default.
• W1963705166 cites W1481489425 @default.
• W1963705166 cites W1487166760 @default.
• W1963705166 cites W1500123554 @default.
• W1963705166 cites W1502676224 @default.
• W1963705166 cites W1514992909 @default.
• W1963705166 cites W1523274706 @default.
• W1963705166 cites W1555543276 @default.
• W1963705166 cites W1573066886 @default.
• W1963705166 cites W1573087405 @default.
• W1963705166 cites W1599561194 @default.
• W1963705166 cites W1840229591 @default.
• W1963705166 cites W1974817955 @default.
• W1963705166 cites W1977541831 @default.
• W1963705166 cites W2014387690 @default.
• W1963705166 cites W2014764321 @default.
• W1963705166 cites W2016076634 @default.
• W1963705166 cites W2017381819 @default.
• W1963705166 cites W2017720469 @default.
• W1963705166 cites W2019376542 @default.
• W1963705166 cites W2038037493 @default.
• W1963705166 cites W2043100293 @default.
• W1963705166 cites W2043474776 @default.
• W1963705166 cites W2044758536 @default.
• W1963705166 cites W2049641148 @default.
• W1963705166 cites W2071095465 @default.
• W1963705166 cites W2081810835 @default.
• W1963705166 cites W2084875723 @default.
• W1963705166 cites W2085670481 @default.
• W1963705166 cites W2087403174 @default.
• W1963705166 cites W2090415524 @default.
• W1963705166 cites W2132661148 @default.
• W1963705166 cites W2154632906 @default.
• W1963705166 cites W2154929064 @default.
• W1963705166 cites W2163976959 @default.
• W1963705166 cites W2168658669 @default.
• W1963705166 cites W2174627168 @default.
• W1963705166 cites W2294680933 @default.
• W1963705166 cites W2912883082 @default.
• W1963705166 cites W49331338 @default.
• W1963705166 doi "https://doi.org/10.1145/263699.263744" @default.
• W1963705166 hasPublicationYear "1997" @default.
• W1963705166 type Work @default.
• W1963705166 sameAs 1963705166 @default.
• W1963705166 citedByCount "139" @default.
• W1963705166 countsByYear W19637051662012 @default.
• W1963705166 countsByYear W19637051662013 @default.
• W1963705166 countsByYear W19637051662014 @default.
• W1963705166 countsByYear W19637051662015 @default.
• W1963705166 countsByYear W19637051662016 @default.
• W1963705166 countsByYear W19637051662017 @default.
• W1963705166 countsByYear W19637051662018 @default.
• W1963705166 countsByYear W19637051662019 @default.
• W1963705166 countsByYear W19637051662020 @default.
• W1963705166 countsByYear W19637051662021 @default.
• W1963705166 countsByYear W19637051662022 @default.
• W1963705166 countsByYear W19637051662023 @default.
• W1963705166 crossrefType "proceedings-article" @default.
• W1963705166 hasAuthorship W1963705166A5007730604 @default.
• W1963705166 hasConcept C135790938 @default.
• W1963705166 hasConcept C136119220 @default.
• W1963705166 hasConcept C154945302 @default.
• W1963705166 hasConcept C156325763 @default.
• W1963705166 hasConcept C184337299 @default.
• W1963705166 hasConcept C18903297 @default.
• W1963705166 hasConcept C198370458 @default.
• W1963705166 hasConcept C199360897 @default.
• W1963705166 hasConcept C202444582 @default.
• W1963705166 hasConcept C207648694 @default.
• W1963705166 hasConcept C2776214188 @default.
• W1963705166 hasConcept C2777299769 @default.
• W1963705166 hasConcept C2780654840 @default.
• W1963705166 hasConcept C33923547 @default.
• W1963705166 hasConcept C41008148 @default.
• W1963705166 hasConcept C80444323 @default.
• W1963705166 hasConcept C86803240 @default.
• W1963705166 hasConcept C87365073 @default.
• W1963705166 hasConcept C93682546 @default.
• W1963705166 hasConcept C9672783 @default.
• W1963705166 hasConceptScore W1963705166C135790938 @default.
• W1963705166 hasConceptScore W1963705166C136119220 @default.
• W1963705166 hasConceptScore W1963705166C154945302 @default.
• W1963705166 hasConceptScore W1963705166C156325763 @default.
• W1963705166 hasConceptScore W1963705166C184337299 @default.
• W1963705166 hasConceptScore W1963705166C18903297 @default.
• W1963705166 hasConceptScore W1963705166C198370458 @default.
• W1963705166 hasConceptScore W1963705166C199360897 @default.
• W1963705166 hasConceptScore W1963705166C202444582 @default.
• W1963705166 hasConceptScore W1963705166C207648694 @default.
• W1963705166 hasConceptScore W1963705166C2776214188 @default.
• W1963705166 hasConceptScore W1963705166C2777299769 @default.
• W1963705166 hasConceptScore W1963705166C2780654840 @default.
• W1963705166 hasConceptScore W1963705166C33923547 @default.
• W1963705166 hasConceptScore W1963705166C41008148 @default.

• next