FRINK Linked Data Fragments server

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

• W1509022145 endingPage "254" @default.
• W1509022145 startingPage "239" @default.
• W1509022145 abstract "Our motivation is the question whether the lazy lambda calculus, a pure lambda calculus with the leftmost outermost rewriting strategy, considered under observational semantics, or extensions thereof, are an adequate model for semantic equivalences in real-world purely functional programming languages, in particular for a pure core language of Haskell. We explore several extensions of the lazy lambda calculus: addition of a seq-operator, addition of data constructors and case-expressions, and their combination, focusing on conservativity of these extensions. In addition to untyped calculi, we study their monomorphically and polymorphically typed versions. For most of the extensions we obtain non-conservativity which we prove by providing counterexamples. However, we prove conservativity of the extension by data constructors and case in the monomorphically typed scenario." @default.
• W1509022145 created "2016-06-24" @default.
• W1509022145 creator A5016539119 @default.
• W1509022145 creator A5017738425 @default.
• W1509022145 creator A5031293152 @default.
• W1509022145 date "2013-01-01" @default.
• W1509022145 modified "2023-09-22" @default.
• W1509022145 title "Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings" @default.
• W1509022145 cites W1496812276 @default.
• W1509022145 cites W1546532908 @default.
• W1509022145 cites W1556536463 @default.
• W1509022145 cites W1570378810 @default.
• W1509022145 cites W172004165 @default.
• W1509022145 cites W2014030742 @default.
• W1509022145 cites W2031705219 @default.
• W1509022145 cites W2035636826 @default.
• W1509022145 cites W2048706733 @default.
• W1509022145 cites W2057292961 @default.
• W1509022145 cites W2062838731 @default.
• W1509022145 cites W2092367588 @default.
• W1509022145 cites W2093441082 @default.
• W1509022145 cites W2102222848 @default.
• W1509022145 cites W2103859677 @default.
• W1509022145 cites W2113016133 @default.
• W1509022145 cites W2125817339 @default.
• W1509022145 cites W2133348159 @default.
• W1509022145 cites W2161773169 @default.
• W1509022145 cites W2167949883 @default.
• W1509022145 cites W3098044612 @default.
• W1509022145 doi "https://doi.org/10.4230/lipics.rta.2013.239" @default.
• W1509022145 hasPublicationYear "2013" @default.
• W1509022145 type Work @default.
• W1509022145 sameAs 1509022145 @default.
• W1509022145 citedByCount "2" @default.
• W1509022145 countsByYear W15090221452014 @default.
• W1509022145 countsByYear W15090221452015 @default.
• W1509022145 crossrefType "proceedings-article" @default.
• W1509022145 hasAuthorship W1509022145A5016539119 @default.
• W1509022145 hasAuthorship W1509022145A5017738425 @default.
• W1509022145 hasAuthorship W1509022145A5031293152 @default.
• W1509022145 hasConcept C118615104 @default.
• W1509022145 hasConcept C135790938 @default.
• W1509022145 hasConcept C142156749 @default.
• W1509022145 hasConcept C154690210 @default.
• W1509022145 hasConcept C156325763 @default.
• W1509022145 hasConcept C162838799 @default.
• W1509022145 hasConcept C184337299 @default.
• W1509022145 hasConcept C199343813 @default.
• W1509022145 hasConcept C199360897 @default.
• W1509022145 hasConcept C2777686260 @default.
• W1509022145 hasConcept C2778029271 @default.
• W1509022145 hasConcept C2780624054 @default.
• W1509022145 hasConcept C33923547 @default.
• W1509022145 hasConcept C41008148 @default.
• W1509022145 hasConcept C42383842 @default.
• W1509022145 hasConcept C55128367 @default.
• W1509022145 hasConcept C61237538 @default.
• W1509022145 hasConcept C71924100 @default.
• W1509022145 hasConcept C77736955 @default.
• W1509022145 hasConceptScore W1509022145C118615104 @default.
• W1509022145 hasConceptScore W1509022145C135790938 @default.
• W1509022145 hasConceptScore W1509022145C142156749 @default.
• W1509022145 hasConceptScore W1509022145C154690210 @default.
• W1509022145 hasConceptScore W1509022145C156325763 @default.
• W1509022145 hasConceptScore W1509022145C162838799 @default.
• W1509022145 hasConceptScore W1509022145C184337299 @default.
• W1509022145 hasConceptScore W1509022145C199343813 @default.
• W1509022145 hasConceptScore W1509022145C199360897 @default.
• W1509022145 hasConceptScore W1509022145C2777686260 @default.
• W1509022145 hasConceptScore W1509022145C2778029271 @default.
• W1509022145 hasConceptScore W1509022145C2780624054 @default.
• W1509022145 hasConceptScore W1509022145C33923547 @default.
• W1509022145 hasConceptScore W1509022145C41008148 @default.
• W1509022145 hasConceptScore W1509022145C42383842 @default.
• W1509022145 hasConceptScore W1509022145C55128367 @default.
• W1509022145 hasConceptScore W1509022145C61237538 @default.
• W1509022145 hasConceptScore W1509022145C71924100 @default.
• W1509022145 hasConceptScore W1509022145C77736955 @default.
• W1509022145 hasLocation W15090221451 @default.
• W1509022145 hasOpenAccess W1509022145 @default.
• W1509022145 hasPrimaryLocation W15090221451 @default.
• W1509022145 hasRelatedWork W1551193253 @default.
• W1509022145 hasRelatedWork W1557561422 @default.
• W1509022145 hasRelatedWork W1576695763 @default.
• W1509022145 hasRelatedWork W1595769750 @default.
• W1509022145 hasRelatedWork W1601124623 @default.
• W1509022145 hasRelatedWork W1892209699 @default.
• W1509022145 hasRelatedWork W1971835373 @default.
• W1509022145 hasRelatedWork W2032980026 @default.
• W1509022145 hasRelatedWork W2035636826 @default.
• W1509022145 hasRelatedWork W2051507754 @default.
• W1509022145 hasRelatedWork W2080165344 @default.
• W1509022145 hasRelatedWork W2093441082 @default.
• W1509022145 hasRelatedWork W2103859677 @default.
• W1509022145 hasRelatedWork W2113016133 @default.
• W1509022145 hasRelatedWork W2142030149 @default.
• W1509022145 hasRelatedWork W2146437601 @default.
• W1509022145 hasRelatedWork W2161773169 @default.

• next