Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Software and its engineering → Concurrent programming structures"'
Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbe304de5254d65ba80a2ad8d561452d
Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d91eb92d8ded89b9d9117fbe2e51c018
Publikováno v:
SPAA
Safe lock-free memory reclamation is a difficult problem. Existing solutions follow three basic methods (or their combinations): epoch based reclamation, hazard pointers, and optimistic reclamation. Epoch-based methods are fast, but do not guarantee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1340aaa234391d51cf3a4e97405d0402
http://arxiv.org/abs/2107.13843
http://arxiv.org/abs/2107.13843
JavaScript is a single-threaded programming language, so asynchronous programming is practiced out of necessity to ensure that applications remain responsive in the presence of user input or interactions with file systems and networks. However, many
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95ea9ad4aab7bc0eea663b29d73cb9cf
JavaScript is a single-threaded programming language, so asynchronous programming is practiced out of necessity to ensure that applications remain responsive in the presence of user input or interactions with file systems and networks. However, many
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ec126dfb0d64d3919d96a03c115e962
Publikováno v:
34th European Conference on Object-Oriented Programming
9:30
9:1
9:30
9:1
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. The state-of-the-art implementations of the MPST theory rely on (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c9cd03fbf5a902ef7b9c459d7a7d5a6
In the paper "Multiparty Session Programming with Global Protocol Combinators", we introduce a library, ocaml-mpst for programming with global combinators - a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df143f126bcfd3952240a4d6fe27d382