FRINK Linked Data Fragments server

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

• W2949291823 abstract "Most type systems that support polymorphic functions are based on a version of System-F. We argue that this limits useful programming paradigms for languages with lazy evaluation. We motivate an extension of System-F alleviating this limitation. First, using a sequence of examples, we show that for lazily evaluated languages current type systems may force one to write a program in an unnatural way; we in particular argue that in such languages the relationship between polymorphic and existential types can be made more systematic by allowing to pass back (part of) an existential result of a function call as an argument to the the function call that produced that value. After presenting our extension to System-F we show how we can implement the strict-state thread monad $mathrm{ST}$ by using a returned existential type in specialising the polymorphic function which returns that type. Currently this monad is built-in into the runtime system of GHC and as such has become part of the language. Our proposed language extension, i.e. the introduction of polymorphic contexts, reverses the relationship between the context of a function call and the called function with respect to where it is decided with which type to instantiate a type variable." @default.
• W2949291823 created "2019-06-27" @default.
• W2949291823 creator A5026040673 @default.
• W2949291823 creator A5053655087 @default.
• W2949291823 creator A5060098926 @default.
• W2949291823 date "2016-12-14" @default.
• W2949291823 modified "2023-09-27" @default.
• W2949291823 title "A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts" @default.
• W2949291823 cites W1557561422 @default.
• W2949291823 cites W1760139041 @default.
• W2949291823 cites W1970031091 @default.
• W2949291823 cites W2004155726 @default.
• W2949291823 cites W2049240102 @default.
• W2949291823 cites W2051785652 @default.
• W2949291823 cites W2054207931 @default.
• W2949291823 cites W2069858276 @default.
• W2949291823 cites W2070811535 @default.
• W2949291823 cites W2074802267 @default.
• W2949291823 cites W2104204098 @default.
• W2949291823 cites W2126243597 @default.
• W2949291823 cites W2160930653 @default.
• W2949291823 hasPublicationYear "2016" @default.
• W2949291823 type Work @default.
• W2949291823 sameAs 2949291823 @default.
• W2949291823 citedByCount "0" @default.
• W2949291823 crossrefType "posted-content" @default.
• W2949291823 hasAuthorship W2949291823A5026040673 @default.
• W2949291823 hasAuthorship W2949291823A5053655087 @default.
• W2949291823 hasAuthorship W2949291823A5060098926 @default.
• W2949291823 hasConcept C111472728 @default.
• W2949291823 hasConcept C118615104 @default.
• W2949291823 hasConcept C127882523 @default.
• W2949291823 hasConcept C138885662 @default.
• W2949291823 hasConcept C14036430 @default.
• W2949291823 hasConcept C151730666 @default.
• W2949291823 hasConcept C154945302 @default.
• W2949291823 hasConcept C156772000 @default.
• W2949291823 hasConcept C18903297 @default.
• W2949291823 hasConcept C198370458 @default.
• W2949291823 hasConcept C199360897 @default.
• W2949291823 hasConcept C2776214188 @default.
• W2949291823 hasConcept C2777299769 @default.
• W2949291823 hasConcept C2778029271 @default.
• W2949291823 hasConcept C2779343474 @default.
• W2949291823 hasConcept C2780624054 @default.
• W2949291823 hasConcept C33923547 @default.
• W2949291823 hasConcept C33959348 @default.
• W2949291823 hasConcept C41008148 @default.
• W2949291823 hasConcept C42383842 @default.
• W2949291823 hasConcept C78458016 @default.
• W2949291823 hasConcept C80444323 @default.
• W2949291823 hasConcept C86803240 @default.
• W2949291823 hasConceptScore W2949291823C111472728 @default.
• W2949291823 hasConceptScore W2949291823C118615104 @default.
• W2949291823 hasConceptScore W2949291823C127882523 @default.
• W2949291823 hasConceptScore W2949291823C138885662 @default.
• W2949291823 hasConceptScore W2949291823C14036430 @default.
• W2949291823 hasConceptScore W2949291823C151730666 @default.
• W2949291823 hasConceptScore W2949291823C154945302 @default.
• W2949291823 hasConceptScore W2949291823C156772000 @default.
• W2949291823 hasConceptScore W2949291823C18903297 @default.
• W2949291823 hasConceptScore W2949291823C198370458 @default.
• W2949291823 hasConceptScore W2949291823C199360897 @default.
• W2949291823 hasConceptScore W2949291823C2776214188 @default.
• W2949291823 hasConceptScore W2949291823C2777299769 @default.
• W2949291823 hasConceptScore W2949291823C2778029271 @default.
• W2949291823 hasConceptScore W2949291823C2779343474 @default.
• W2949291823 hasConceptScore W2949291823C2780624054 @default.
• W2949291823 hasConceptScore W2949291823C33923547 @default.
• W2949291823 hasConceptScore W2949291823C33959348 @default.
• W2949291823 hasConceptScore W2949291823C41008148 @default.
• W2949291823 hasConceptScore W2949291823C42383842 @default.
• W2949291823 hasConceptScore W2949291823C78458016 @default.
• W2949291823 hasConceptScore W2949291823C80444323 @default.
• W2949291823 hasConceptScore W2949291823C86803240 @default.
• W2949291823 hasLocation W29492918231 @default.
• W2949291823 hasOpenAccess W2949291823 @default.
• W2949291823 hasPrimaryLocation W29492918231 @default.
• W2949291823 hasRelatedWork W1534348627 @default.
• W2949291823 hasRelatedWork W1555511122 @default.
• W2949291823 hasRelatedWork W1714514560 @default.
• W2949291823 hasRelatedWork W17721123 @default.
• W2949291823 hasRelatedWork W1975054464 @default.
• W2949291823 hasRelatedWork W1991542909 @default.
• W2949291823 hasRelatedWork W2017543653 @default.
• W2949291823 hasRelatedWork W2030360570 @default.
• W2949291823 hasRelatedWork W2097911101 @default.
• W2949291823 hasRelatedWork W2104216136 @default.
• W2949291823 hasRelatedWork W2119857670 @default.
• W2949291823 hasRelatedWork W2130480853 @default.
• W2949291823 hasRelatedWork W2140602484 @default.
• W2949291823 hasRelatedWork W2144700864 @default.
• W2949291823 hasRelatedWork W2401596948 @default.
• W2949291823 hasRelatedWork W2564232335 @default.
• W2949291823 hasRelatedWork W2731085289 @default.
• W2949291823 hasRelatedWork W274788069 @default.
• W2949291823 hasRelatedWork W2899650865 @default.
• W2949291823 hasRelatedWork W3193360938 @default.
• W2949291823 isParatext "false" @default.
• W2949291823 isRetracted "false" @default.

• next