FRINK Linked Data Fragments server

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

• W2913305528 endingPage "545" @default.
• W2913305528 startingPage "485" @default.
• W2913305528 abstract "Region-based type systems provide programmer control over memory management without sacrificing type-safety. However, the type systems for region-based languages, such as the ML-Kit or Cyclone, are relatively complicated, and proving their soundness is non-trivial. This paper shows that the complication is in principle unnecessary. In particular, we show that plain old parametric polymorphism, as found in Haskell, is all that is needed. We substantiate this claim by giving a type- and meaning-preserving translation from a variation of the region calculus of Tofte and Talpin to a monadic variant of System F with region primitives whose types and operations are inspired by (and generalize) the ST monad of Launchbury and Peyton Jones." @default.
• W2913305528 created "2019-02-21" @default.
• W2913305528 creator A5029478793 @default.
• W2913305528 creator A5064972235 @default.
• W2913305528 date "2006-07-01" @default.
• W2913305528 modified "2023-10-18" @default.
• W2913305528 title "Monadic regions" @default.
• W2913305528 cites W1509844231 @default.
• W2913305528 cites W1545727638 @default.
• W2913305528 cites W1595372275 @default.
• W2913305528 cites W159715351 @default.
• W2913305528 cites W1608287579 @default.
• W2913305528 cites W1969661839 @default.
• W2913305528 cites W1972611814 @default.
• W2913305528 cites W1976580128 @default.
• W2913305528 cites W1981962444 @default.
• W2913305528 cites W1987421013 @default.
• W2913305528 cites W1988600549 @default.
• W2913305528 cites W1997143185 @default.
• W2913305528 cites W2001218627 @default.
• W2913305528 cites W2021447352 @default.
• W2913305528 cites W2022518532 @default.
• W2913305528 cites W2027423863 @default.
• W2913305528 cites W2037984920 @default.
• W2913305528 cites W2038677544 @default.
• W2913305528 cites W2058162377 @default.
• W2913305528 cites W2060662244 @default.
• W2913305528 cites W2074674709 @default.
• W2913305528 cites W2074802267 @default.
• W2913305528 cites W2084475398 @default.
• W2913305528 cites W2084804301 @default.
• W2913305528 cites W2087875803 @default.
• W2913305528 cites W2110435210 @default.
• W2913305528 cites W2113909714 @default.
• W2913305528 cites W2116647386 @default.
• W2913305528 cites W2129133667 @default.
• W2913305528 cites W2129224383 @default.
• W2913305528 cites W2131403402 @default.
• W2913305528 cites W2135962112 @default.
• W2913305528 cites W2156876717 @default.
• W2913305528 cites W2295162339 @default.
• W2913305528 doi "https://doi.org/10.1017/s095679680600596x" @default.
• W2913305528 hasPublicationYear "2006" @default.
• W2913305528 type Work @default.
• W2913305528 sameAs 2913305528 @default.
• W2913305528 citedByCount "19" @default.
• W2913305528 countsByYear W29133055282012 @default.
• W2913305528 countsByYear W29133055282014 @default.
• W2913305528 countsByYear W29133055282015 @default.
• W2913305528 countsByYear W29133055282016 @default.
• W2913305528 crossrefType "journal-article" @default.
• W2913305528 hasAuthorship W2913305528A5029478793 @default.
• W2913305528 hasAuthorship W2913305528A5064972235 @default.
• W2913305528 hasBestOaLocation W29133055281 @default.
• W2913305528 hasConcept C118615104 @default.
• W2913305528 hasConcept C156772000 @default.
• W2913305528 hasConcept C18903297 @default.
• W2913305528 hasConcept C199360897 @default.
• W2913305528 hasConcept C2777299769 @default.
• W2913305528 hasConcept C2778514511 @default.
• W2913305528 hasConcept C2780624054 @default.
• W2913305528 hasConcept C33923547 @default.
• W2913305528 hasConcept C33959348 @default.
• W2913305528 hasConcept C39920170 @default.
• W2913305528 hasConcept C41008148 @default.
• W2913305528 hasConcept C42383842 @default.
• W2913305528 hasConcept C86803240 @default.
• W2913305528 hasConceptScore W2913305528C118615104 @default.
• W2913305528 hasConceptScore W2913305528C156772000 @default.
• W2913305528 hasConceptScore W2913305528C18903297 @default.
• W2913305528 hasConceptScore W2913305528C199360897 @default.
• W2913305528 hasConceptScore W2913305528C2777299769 @default.
• W2913305528 hasConceptScore W2913305528C2778514511 @default.
• W2913305528 hasConceptScore W2913305528C2780624054 @default.
• W2913305528 hasConceptScore W2913305528C33923547 @default.
• W2913305528 hasConceptScore W2913305528C33959348 @default.
• W2913305528 hasConceptScore W2913305528C39920170 @default.
• W2913305528 hasConceptScore W2913305528C41008148 @default.
• W2913305528 hasConceptScore W2913305528C42383842 @default.
• W2913305528 hasConceptScore W2913305528C86803240 @default.
• W2913305528 hasIssue "4-5" @default.
• W2913305528 hasLocation W29133055281 @default.
• W2913305528 hasOpenAccess W2913305528 @default.
• W2913305528 hasPrimaryLocation W29133055281 @default.
• W2913305528 hasRelatedWork W154014553 @default.
• W2913305528 hasRelatedWork W1573380057 @default.
• W2913305528 hasRelatedWork W1671914757 @default.
• W2913305528 hasRelatedWork W1869560382 @default.
• W2913305528 hasRelatedWork W1911419940 @default.
• W2913305528 hasRelatedWork W2045380064 @default.
• W2913305528 hasRelatedWork W2099741881 @default.
• W2913305528 hasRelatedWork W2132325017 @default.
• W2913305528 hasRelatedWork W2886025031 @default.
• W2913305528 hasRelatedWork W2913635267 @default.
• W2913305528 hasVolume "16" @default.
• W2913305528 isParatext "false" @default.
• W2913305528 isRetracted "false" @default.
• W2913305528 magId "2913305528" @default.

• next