Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNobuko Yoshida
Person information
- affiliation: University of Oxford, UK
- affiliation (former): Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j74]Romain Demangeon, Nobuko Yoshida:
Causal computational complexity of distributed processes. Inf. Comput. 290: 104998 (2023)- [j73]Lorenzo Gheri
, Nobuko Yoshida:
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proc. ACM Program. Lang. 7(OOPSLA1): 112-142 (2023) - [i34]Lorenzo Gheri, Nobuko Yoshida:
Hybrid Multiparty Session Types - Full Version. CoRR abs/2302.01979 (2023) - [i33]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR abs/2305.06238 (2023) - 2022
- [j72]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). Dagstuhl Artifacts Ser. 8(2): 09:1-09:16 (2022) - [j71]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8(2): 21:1-21:5 (2022) - [j70]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event structures for the reversible early internal π-calculus. J. Log. Algebraic Methods Program. 124: 100720 (2022) - [j69]Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida:
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. J. Log. Algebraic Methods Program. 125: 100744 (2022) - [j68]Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song:
Generic go to go: dictionary-passing, monomorphisation, and hybrid. Proc. ACM Program. Lang. 6(OOPSLA2): 1207-1235 (2022) - [j67]Nobuko Yoshida:
Introduction to the Special Issue on ESOP 2021. ACM Trans. Program. Lang. Syst. 44(3): 13:1 (2022) - [j66]Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida:
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44(4): 26:1-26:55 (2022) - [c166]Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR 2022: 35:1-35:25 - [c165]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP 2022: 4:1-4:29 - [c164]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022: 8:1-8:28 - [c163]Zak Cutner, Nobuko Yoshida, Martin Vassor:
Deadlock-free asynchronous message reordering in rust with multiparty session types. PPoPP 2022: 246-261 - [c162]Kirstin Peters, Nobuko Yoshida:
On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS 2022: 113-130 - [i32]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR abs/2204.13464 (2022) - [i31]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR abs/2205.06535 (2022) - [i30]Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR abs/2207.02015 (2022) - [i29]Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song:
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. CoRR abs/2208.06810 (2022) - [i28]Kirstin Peters, Nobuko Yoshida:
On the Expressiveness of Mixed Choice Sessions (Technical Report). CoRR abs/2208.07041 (2022) - 2021
- [j65]Luca Aceto, Nathalie Bertrand, Nobuko Yoshida:
Interviews with the 2021 CONCUR Test-of-Time Award Recipients. Bull. EATCS 135 (2021) - [j64]Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121: 100686 (2021) - [j63]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17(1) (2021) - [j62]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [j61]Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. ACM Trans. Program. Lang. Syst. 43(2): 7:1-7:55 (2021) - [c161]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-safe web programming in TypeScript with routed multiparty session types. CC 2021: 94-106 - [c160]Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida:
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR 2021: 1:1-1:3 - [c159]Zak Cutner, Nobuko Yoshida:
Safe Session-Based Asynchronous Coordination in Rust. COORDINATION 2021: 80-89 - [c158]Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira:
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT 2021: 18-35 - [c157]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. PLDI 2021: 237-251 - [e6]Nobuko Yoshida:
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Lecture Notes in Computer Science 12648, Springer 2021, ISBN 978-3-030-72018-6 [contents] - [i27]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR abs/2101.04622 (2021) - [i26]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for Certified Multiparty Computation. CoRR abs/2103.10269 (2021) - [i25]Zak Cutner, Nobuko Yoshida, Martin Vassor:
Deadlock-free asynchronous message reordering in Rust with multiparty session types. CoRR abs/2112.12693 (2021) - 2020
- [j60]Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). Dagstuhl Artifacts Ser. 6(2): 12:1-12:3 (2020) - [j59]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6(2): 18:1-18:2 (2020) - [j58]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A parametric framework for reversible π-calculi. Inf. Comput. 275: 104644 (2020) - [j57]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4(OOPSLA): 134:1-134:30 (2020) - [j56]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4(OOPSLA): 148:1-148:30 (2020) - [j55]Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight go. Proc. ACM Program. Lang. 4(OOPSLA): 149:1-149:29 (2020) - [j54]David Castro-Perez, Nobuko Yoshida:
CAMP: cost-aware multiparty session protocols. Proc. ACM Program. Lang. 4(OOPSLA): 155:1-155:30 (2020) - [c156]David Castro-Perez, Nobuko Yoshida:
Compiling first-order functions to session-typed parallel code. CC 2020: 143-154 - [c155]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Implementing Multiparty Session Types in Rust. COORDINATION 2020: 127-136 - [c154]Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs. ECOOP 2020: 4:1-4:30 - [c153]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming With Global Protocol Combinators. ECOOP 2020: 9:1-9:30 - [c152]Sung-Shik Jongmans, Nobuko Yoshida:
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020: 251-279 - [c151]Nobuko Yoshida, Lorenzo Gheri:
A Very Gentle Introduction to Multiparty Session Types. ICDCIT 2020: 73-93 - [c150]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event Structures for the Reversible Early Internal π-Calculus. RC 2020: 71-90 - [c149]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
Towards a Formal Account for Software Transactional Memory. RC 2020: 255-263 - [c148]David Castro-Perez, Francisco Ferreira, Nobuko Yoshida:
EMTST: Engineering the Meta-theory of Session Types. TACAS (2) 2020: 278-285 - [c147]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020: 12-22 - [i24]Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
Event structures for the reversible early internal Pi-calculus. CoRR abs/2004.01211 (2020) - [i23]Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). CoRR abs/2004.12859 (2020) - [i22]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators. CoRR abs/2005.06333 (2020) - [i21]Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight Go. CoRR abs/2005.11710 (2020) - [i20]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. CoRR abs/2009.06541 (2020) - [i19]David Castro-Perez, Nobuko Yoshida:
CAMP: Cost-Aware Multiparty Session Protocols. CoRR abs/2010.04449 (2020) - [i18]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR abs/2010.05484 (2020) - [i17]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR abs/2010.13925 (2020) - [i16]Nobuko Yoshida, Simon Castellan, Léo Stefanesco:
Game Semantics: Easy as Pi. CoRR abs/2011.05248 (2020)
2010 – 2019
- 2019
- [j53]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019) - [j52]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. 104: 16-59 (2019) - [j51]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104: 127-173 (2019) - [j50]Simon Castellan, Nobuko Yoshida:
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side. Proc. ACM Program. Lang. 3(POPL): 27:1-27:29 (2019) - [j49]David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida:
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3(POPL): 29:1-29:30 (2019) - [j48]Alceste Scalas, Nobuko Yoshida:
Less is more: multiparty session types revisited. Proc. ACM Program. Lang. 3(POPL): 30:1-30:29 (2019) - [j47]Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172: 135-159 (2019) - [j46]Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41(1): 1:1-1:38 (2019) - [c146]Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5 - [c145]Bernardo Toninho, Nobuko Yoshida:
Polymorphic Session Processes as Morphisms. The Art of Modelling Computational Systems 2019: 101-117 - [c144]Rumyana Neykova, Nobuko Yoshida:
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 236-259 - [c143]Julien Lange, Nobuko Yoshida:
Verifying Asynchronous Interactions via Communicating Session Automata. CAV (1) 2019: 97-117 - [c142]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c141]Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey:
Motion Session Types for Robotic Interactions (Brave New Idea Paper). ECOOP 2019: 28:1-28:27 - [c140]Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP 2019: 583-610 - [c139]Simon Castellan, Nobuko Yoshida:
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). FoSSaCS 2019: 150-168 - [c138]Alceste Scalas, Nobuko Yoshida, Elias Benussi:
Verifying message-passing programs with dependent behavioural types. PLDI 2019: 502-516 - [c137]Alceste Scalas, Nobuko Yoshida, Elias Benussi:
Effpi: verified message-passing programs in Dotty. SCALA@ECOOP 2019: 27-31 - [c136]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE 2019: 1124-1128 - [c135]Assel Altayeva, Nobuko Yoshida:
Service Equivalence via Multiparty Session Type Isomorphisms. PLACES@ETAPS 2019: 1-11 - [c134]Jonathan King, Nicholas Ng, Nobuko Yoshida:
Multiparty Session Type-safe Web Development with Static Linearity. PLACES@ETAPS 2019: 35-46 - [e5]Jorge A. Pérez, Nobuko Yoshida:
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11535, Springer 2019, ISBN 978-3-030-21758-7 [contents] - [i15]Julien Lange, Nobuko Yoshida:
Verifying Asynchronous Interactions via Communicating Session Automata. CoRR abs/1901.09606 (2019) - [i14]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure Bitcoin contracts with BitML. CoRR abs/1905.07639 (2019) - [i13]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR abs/1907.00421 (2019) - 2018
- [j45]Alceste Scalas, Nobuko Yoshida:
Multiparty session types, beyond duality. J. Log. Algebraic Methods Program. 97: 55-84 (2018) - [j44]Bernardo Toninho, Nobuko Yoshida:
Interconnectability of Session-Based Logical Processes. ACM Trans. Program. Lang. Syst. 40(4): 17:1-17:42 (2018) - [c133]Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal:
A session type provider: compile-time API generation of distributed protocols with refinements in F#. CC 2018: 128-138 - [c132]Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. ESOP 2018: 827-855 - [c131]Bernardo Toninho, Nobuko Yoshida:
Depending on Session-Typed Processes. FoSSaCS 2018: 128-145 - [c130]Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
A static verification framework for message passing in Go using behavioural types. ICSE 2018: 1137-1148 - [c129]Romain Demangeon, Nobuko Yoshida:
Causal Computational Complexity of Distributed Processes. LICS 2018: 344-353 - [c128]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event Structure Semantics of (controlled) Reversible CCS. RC 2018: 102-122 - [c127]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS 2018: 87-103 - [i12]Bernardo Toninho, Nobuko Yoshida:
Depending on Session-Typed Processes. CoRR abs/1801.08114 (2018) - [i11]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible π-Calculi. CoRR abs/1807.11800 (2018) - 2017
- [j43]Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017) - [j42]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic bisimulation for higher-order session processes. Acta Informatica 54(3): 271-341 (2017) - [j41]Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. Log. Methods Comput. Sci. 13(1) (2017) - [j40]Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3(2): 03:1-03:2 (2017) - [j39]Rumyana Neykova, Laura Bocchi, Nobuko Yoshida:
Timed runtime monitoring for multiparty conversations. Formal Aspects Comput. 29(5): 877-910 (2017) - [j38]Dominic A. Orchard, Nobuko Yoshida:
Guest editors' foreword. J. Log. Algebraic Methods Program. 90: 1 (2017) - [j37]Bernardo Toninho, Nobuko Yoshida:
Certifying data in multiparty session types. J. Log. Algebraic Methods Program. 90: 61-83 (2017) - [j36]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. Log. Methods Comput. Sci. 13(2) (2017) - [j35]Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida:
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669: 33-58 (2017) - [c126]Rumyana Neykova, Nobuko Yoshida:
Let it recover: multiparty protocol-induced recovery. CC 2017: 98-108 - [c125]Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A Session-Based Library with Polarities and Lenses. COORDINATION 2017: 99-118 - [c124]Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017: 24:1-24:31 - [c123]Raymond Hu, Nobuko Yoshida:
Explicit Connection Actions in Multiparty Session Types. FASE 2017: 116-133 - [c122]Julien Lange, Nobuko Yoshida:
On the Undecidability of Asynchronous Session Subtyping. FoSSaCS 2017: 441-457 - [c121]Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
Fencing off go: liveness and safety for channel-based programming. POPL 2017: 748-761 - [c120]Alceste Scalas, Nobuko Yoshida:
Multiparty Session Types, Beyond Duality (Abstract). PLACES@ETAPS 2017: 37-38 - [c119]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Towards a Categorical Representation of Reversible Event Structures. PLACES@ETAPS 2017: 49-60 - [i10]Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. CoRR abs/1711.00878 (2017) - [i9]Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida:
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7(1): 158-189 (2017) - 2016
- [j34]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. 12(1) (2016) - [j33]Alceste Scalas, Nobuko Yoshida:
Lightweight Session Programming in Scala (Artifact). Dagstuhl Artifacts Ser. 2(1): 11:1-11:2 (2016) - [j32]