Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256299095> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4256299095 endingPage "148" @default.
- W4256299095 startingPage "137" @default.
- W4256299095 abstract "Though Haskell is predominantly type-safe, implementations contain a few loopholes through which code can bypass typing and module encapsulation. This paper presents Safe Haskell , a language extension that closes these loopholes. Safe Haskell makes it possible to confine and safely execute untrusted, possibly malicious code. By strictly enforcing types, Safe Haskell allows a variety of different policies from API sandboxing to information-flow control to be implemented easily as monads. Safe Haskell is aimed to be as unobtrusive as possible. It enforces properties that programmers tend to meet already by convention. We describe the design of Safe Haskell and an implementation (currently shipping with GHC) that infers safety for code that lies in a safe subset of the language. We use Safe Haskell to implement an online Haskell interpreter that can securely execute arbitrary untrusted code with no overhead. The use of Safe Haskell greatly simplifies this task and allows the use of a large body of existing code and tools." @default.
- W4256299095 created "2022-05-12" @default.
- W4256299095 creator A5015215603 @default.
- W4256299095 creator A5027817074 @default.
- W4256299095 creator A5055243106 @default.
- W4256299095 creator A5085123747 @default.
- W4256299095 date "2012-09-13" @default.
- W4256299095 modified "2023-10-18" @default.
- W4256299095 title "Safe haskell" @default.
- W4256299095 cites W2005525408 @default.
- W4256299095 cites W2027961147 @default.
- W4256299095 cites W2045177959 @default.
- W4256299095 cites W2093896470 @default.
- W4256299095 cites W2121780525 @default.
- W4256299095 cites W2122643307 @default.
- W4256299095 cites W2134968380 @default.
- W4256299095 cites W2136624255 @default.
- W4256299095 cites W2166775407 @default.
- W4256299095 cites W4213422035 @default.
- W4256299095 cites W4235129884 @default.
- W4256299095 doi "https://doi.org/10.1145/2430532.2364524" @default.
- W4256299095 hasPublicationYear "2012" @default.
- W4256299095 type Work @default.
- W4256299095 citedByCount "7" @default.
- W4256299095 countsByYear W42562990952014 @default.
- W4256299095 countsByYear W42562990952017 @default.
- W4256299095 countsByYear W42562990952019 @default.
- W4256299095 countsByYear W42562990952021 @default.
- W4256299095 crossrefType "journal-article" @default.
- W4256299095 hasAuthorship W4256299095A5015215603 @default.
- W4256299095 hasAuthorship W4256299095A5027817074 @default.
- W4256299095 hasAuthorship W4256299095A5055243106 @default.
- W4256299095 hasAuthorship W4256299095A5085123747 @default.
- W4256299095 hasConcept C177264268 @default.
- W4256299095 hasConcept C199360897 @default.
- W4256299095 hasConcept C26713055 @default.
- W4256299095 hasConcept C2776760102 @default.
- W4256299095 hasConcept C2779960059 @default.
- W4256299095 hasConcept C2780624054 @default.
- W4256299095 hasConcept C41008148 @default.
- W4256299095 hasConcept C42383842 @default.
- W4256299095 hasConceptScore W4256299095C177264268 @default.
- W4256299095 hasConceptScore W4256299095C199360897 @default.
- W4256299095 hasConceptScore W4256299095C26713055 @default.
- W4256299095 hasConceptScore W4256299095C2776760102 @default.
- W4256299095 hasConceptScore W4256299095C2779960059 @default.
- W4256299095 hasConceptScore W4256299095C2780624054 @default.
- W4256299095 hasConceptScore W4256299095C41008148 @default.
- W4256299095 hasConceptScore W4256299095C42383842 @default.
- W4256299095 hasIssue "12" @default.
- W4256299095 hasLocation W42562990951 @default.
- W4256299095 hasOpenAccess W4256299095 @default.
- W4256299095 hasPrimaryLocation W42562990951 @default.
- W4256299095 hasRelatedWork W1489609867 @default.
- W4256299095 hasRelatedWork W1504459189 @default.
- W4256299095 hasRelatedWork W1587224678 @default.
- W4256299095 hasRelatedWork W1601811574 @default.
- W4256299095 hasRelatedWork W1757338326 @default.
- W4256299095 hasRelatedWork W2127617483 @default.
- W4256299095 hasRelatedWork W2129253059 @default.
- W4256299095 hasRelatedWork W2175256523 @default.
- W4256299095 hasRelatedWork W3136890312 @default.
- W4256299095 hasRelatedWork W4312309273 @default.
- W4256299095 hasVolume "47" @default.
- W4256299095 isParatext "false" @default.
- W4256299095 isRetracted "false" @default.
- W4256299095 workType "article" @default.