Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246574300> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4246574300 endingPage "36" @default.
- W4246574300 startingPage "25" @default.
- W4246574300 abstract "We describe an implementation of session types in Haskell. Session types statically enforce that client-server communication proceeds according to protocols. They have been added to several concurrent calculi, but few implementations of session types are available. Our embedding takes advantage of Haskell where appropriate, but we rely on no exotic features. Thus our approach translates with minimal modification to other polymorphic, typed languages such as ML and Java. Our implementation works with existing Haskell concurrency mechanisms, handles multiple communication channels and recursive session types, and infers protocols automatically. While our implementation uses unsafe operations in Haskell, it does not violate Haskell's safety guarantees. We formalize this claim in a concurrent calculus with unsafe communication primitives over which we layer our implementation of session types, and we prove that the session types layer is safe. In particular, it enforces that channel-based communication follows consistent protocols." @default.
- W4246574300 created "2022-05-12" @default.
- W4246574300 creator A5062337573 @default.
- W4246574300 creator A5091462128 @default.
- W4246574300 date "2008-09-25" @default.
- W4246574300 modified "2023-10-07" @default.
- W4246574300 title "Haskell session types with (almost) no class" @default.
- W4246574300 cites W1491698270 @default.
- W4246574300 cites W1595372275 @default.
- W4246574300 cites W1968720074 @default.
- W4246574300 cites W1980939032 @default.
- W4246574300 cites W1998070736 @default.
- W4246574300 cites W2015888335 @default.
- W4246574300 cites W2058162377 @default.
- W4246574300 cites W2086969205 @default.
- W4246574300 cites W2088962847 @default.
- W4246574300 cites W2105716349 @default.
- W4246574300 cites W2109568634 @default.
- W4246574300 cites W2112965682 @default.
- W4246574300 cites W2129990308 @default.
- W4246574300 cites W2137186143 @default.
- W4246574300 cites W2168938117 @default.
- W4246574300 cites W2211325406 @default.
- W4246574300 cites W2296715995 @default.
- W4246574300 cites W4235724843 @default.
- W4246574300 doi "https://doi.org/10.1145/1543134.1411290" @default.
- W4246574300 hasPublicationYear "2008" @default.
- W4246574300 type Work @default.
- W4246574300 citedByCount "10" @default.
- W4246574300 countsByYear W42465743002013 @default.
- W4246574300 countsByYear W42465743002015 @default.
- W4246574300 countsByYear W42465743002016 @default.
- W4246574300 countsByYear W42465743002017 @default.
- W4246574300 countsByYear W42465743002020 @default.
- W4246574300 countsByYear W42465743002021 @default.
- W4246574300 countsByYear W42465743002023 @default.
- W4246574300 crossrefType "journal-article" @default.
- W4246574300 hasAuthorship W4246574300A5062337573 @default.
- W4246574300 hasAuthorship W4246574300A5091462128 @default.
- W4246574300 hasConcept C109701466 @default.
- W4246574300 hasConcept C121332964 @default.
- W4246574300 hasConcept C136764020 @default.
- W4246574300 hasConcept C154945302 @default.
- W4246574300 hasConcept C157486923 @default.
- W4246574300 hasConcept C193702766 @default.
- W4246574300 hasConcept C199360897 @default.
- W4246574300 hasConcept C26713055 @default.
- W4246574300 hasConcept C2777212361 @default.
- W4246574300 hasConcept C2779182362 @default.
- W4246574300 hasConcept C2780624054 @default.
- W4246574300 hasConcept C41008148 @default.
- W4246574300 hasConcept C42383842 @default.
- W4246574300 hasConcept C548217200 @default.
- W4246574300 hasConcept C62520636 @default.
- W4246574300 hasConcept C80444323 @default.
- W4246574300 hasConceptScore W4246574300C109701466 @default.
- W4246574300 hasConceptScore W4246574300C121332964 @default.
- W4246574300 hasConceptScore W4246574300C136764020 @default.
- W4246574300 hasConceptScore W4246574300C154945302 @default.
- W4246574300 hasConceptScore W4246574300C157486923 @default.
- W4246574300 hasConceptScore W4246574300C193702766 @default.
- W4246574300 hasConceptScore W4246574300C199360897 @default.
- W4246574300 hasConceptScore W4246574300C26713055 @default.
- W4246574300 hasConceptScore W4246574300C2777212361 @default.
- W4246574300 hasConceptScore W4246574300C2779182362 @default.
- W4246574300 hasConceptScore W4246574300C2780624054 @default.
- W4246574300 hasConceptScore W4246574300C41008148 @default.
- W4246574300 hasConceptScore W4246574300C42383842 @default.
- W4246574300 hasConceptScore W4246574300C548217200 @default.
- W4246574300 hasConceptScore W4246574300C62520636 @default.
- W4246574300 hasConceptScore W4246574300C80444323 @default.
- W4246574300 hasIssue "2" @default.
- W4246574300 hasLocation W42465743001 @default.
- W4246574300 hasOpenAccess W4246574300 @default.
- W4246574300 hasPrimaryLocation W42465743001 @default.
- W4246574300 hasRelatedWork W1489609867 @default.
- W4246574300 hasRelatedWork W1602185604 @default.
- W4246574300 hasRelatedWork W2004997206 @default.
- W4246574300 hasRelatedWork W2028779182 @default.
- W4246574300 hasRelatedWork W2112263414 @default.
- W4246574300 hasRelatedWork W2905831480 @default.
- W4246574300 hasRelatedWork W3004782279 @default.
- W4246574300 hasRelatedWork W4237116038 @default.
- W4246574300 hasRelatedWork W4252522690 @default.
- W4246574300 hasRelatedWork W4297910919 @default.
- W4246574300 hasVolume "44" @default.
- W4246574300 isParatext "false" @default.
- W4246574300 isRetracted "false" @default.
- W4246574300 workType "article" @default.