Matches in SemOpenAlex for { <https://semopenalex.org/work/W4211073229> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4211073229 endingPage "145" @default.
- W4211073229 startingPage "133" @default.
- W4211073229 abstract "We present a novel embedding of session-typed concurrency in Haskell. We extend an existing HOAS embedding of linear λ-calculus with a set of core session-typed primitives, using indexed type families to express the constraints of the session typing discipline. We give two interpretations of our embedding, one in terms of GHC’s built-in concurrency and another in terms of purely functional continuations. Our safety guarantees, including deadlock freedom, are assured statically and introduce no additional runtime overhead." @default.
- W4211073229 created "2022-02-13" @default.
- W4211073229 creator A5061903791 @default.
- W4211073229 creator A5067671067 @default.
- W4211073229 date "2016-09-08" @default.
- W4211073229 modified "2023-10-13" @default.
- W4211073229 title "Embedding session types in Haskell" @default.
- W4211073229 cites W1973817937 @default.
- W4211073229 cites W1992310464 @default.
- W4211073229 cites W1993460177 @default.
- W4211073229 cites W2042360145 @default.
- W4211073229 cites W2054670810 @default.
- W4211073229 cites W2063818704 @default.
- W4211073229 cites W2105716349 @default.
- W4211073229 cites W2123092976 @default.
- W4211073229 cites W2124126159 @default.
- W4211073229 cites W2128280268 @default.
- W4211073229 cites W2138552902 @default.
- W4211073229 cites W2295577580 @default.
- W4211073229 cites W2402424078 @default.
- W4211073229 cites W2517371102 @default.
- W4211073229 cites W776882319 @default.
- W4211073229 doi "https://doi.org/10.1145/3241625.2976018" @default.
- W4211073229 hasPublicationYear "2016" @default.
- W4211073229 type Work @default.
- W4211073229 citedByCount "4" @default.
- W4211073229 countsByYear W42110732292018 @default.
- W4211073229 countsByYear W42110732292019 @default.
- W4211073229 countsByYear W42110732292021 @default.
- W4211073229 crossrefType "journal-article" @default.
- W4211073229 hasAuthorship W4211073229A5061903791 @default.
- W4211073229 hasAuthorship W4211073229A5067671067 @default.
- W4211073229 hasBestOaLocation W42110732291 @default.
- W4211073229 hasConcept C136764020 @default.
- W4211073229 hasConcept C154945302 @default.
- W4211073229 hasConcept C157486923 @default.
- W4211073229 hasConcept C177264268 @default.
- W4211073229 hasConcept C193702766 @default.
- W4211073229 hasConcept C199360897 @default.
- W4211073229 hasConcept C2779182362 @default.
- W4211073229 hasConcept C2780624054 @default.
- W4211073229 hasConcept C33923547 @default.
- W4211073229 hasConcept C37914503 @default.
- W4211073229 hasConcept C41008148 @default.
- W4211073229 hasConcept C41608201 @default.
- W4211073229 hasConcept C42383842 @default.
- W4211073229 hasConcept C80444323 @default.
- W4211073229 hasConceptScore W4211073229C136764020 @default.
- W4211073229 hasConceptScore W4211073229C154945302 @default.
- W4211073229 hasConceptScore W4211073229C157486923 @default.
- W4211073229 hasConceptScore W4211073229C177264268 @default.
- W4211073229 hasConceptScore W4211073229C193702766 @default.
- W4211073229 hasConceptScore W4211073229C199360897 @default.
- W4211073229 hasConceptScore W4211073229C2779182362 @default.
- W4211073229 hasConceptScore W4211073229C2780624054 @default.
- W4211073229 hasConceptScore W4211073229C33923547 @default.
- W4211073229 hasConceptScore W4211073229C37914503 @default.
- W4211073229 hasConceptScore W4211073229C41008148 @default.
- W4211073229 hasConceptScore W4211073229C41608201 @default.
- W4211073229 hasConceptScore W4211073229C42383842 @default.
- W4211073229 hasConceptScore W4211073229C80444323 @default.
- W4211073229 hasIssue "12" @default.
- W4211073229 hasLocation W42110732291 @default.
- W4211073229 hasLocation W42110732292 @default.
- W4211073229 hasOpenAccess W4211073229 @default.
- W4211073229 hasPrimaryLocation W42110732291 @default.
- W4211073229 hasRelatedWork W1481383228 @default.
- W4211073229 hasRelatedWork W1601811574 @default.
- W4211073229 hasRelatedWork W1607469218 @default.
- W4211073229 hasRelatedWork W1755532346 @default.
- W4211073229 hasRelatedWork W2106681500 @default.
- W4211073229 hasRelatedWork W2111594816 @default.
- W4211073229 hasRelatedWork W2157592151 @default.
- W4211073229 hasRelatedWork W2254768153 @default.
- W4211073229 hasRelatedWork W2296715995 @default.
- W4211073229 hasRelatedWork W2765318545 @default.
- W4211073229 hasVolume "51" @default.
- W4211073229 isParatext "false" @default.
- W4211073229 isRetracted "false" @default.
- W4211073229 workType "article" @default.