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
- 2024
[j80]Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 10(2): 10:1-10:3 (2024)- [j79]Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). Dagstuhl Artifacts Ser. 10(2): 23:1-23:5 (2024) - [j78]Kirstin Peters
, Nobuko Yoshida:
Mixed choice in session types. Inf. Comput. 298: 105164 (2024) - [c177]Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon:
The Concurrent Calculi Formalisation Benchmark. COORDINATION 2024: 149-158 - [c176]Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. ECOOP 2024: 19:1-19:30 - [c175]Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation. ECOOP 2024: 41:1-41:29 - [c174]Burak Ekici, Nobuko Yoshida:
Completeness of Asynchronous Session Tree Subtyping in Coq. ITP 2024: 13:1-13:20 - [c173]Kirstin Peters, Nobuko Yoshida:
Separation and Encodability in Mixed Choice Multiparty Sessions. LICS 2024: 62:1-62:15 - [c172]Ari Hernawan, Nobuko Yoshida:
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. TASE 2024: 1-18 - [c171]Thien Udomsrirungruang, Nobuko Yoshida:
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. PLACES@ETAPS 2024: 49-60 - [p1]Nobuko Yoshida:
Programming Language Implementations with Multiparty Session Types. Active Object Languages: Current Research Trends 2024: 147-165 - [i42]Thien Udomsrirungruang, Nobuko Yoshida:
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. CoRR abs/2402.06988 (2024) - [i41]Nobuko Yoshida, Ping Hou:
Less is More Revisit. CoRR abs/2402.16741 (2024) - [i40]Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang:
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. CoRR abs/2403.02661 (2024) - [i39]Kirstin Peters, Nobuko Yoshida:
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report). CoRR abs/2405.08104 (2024) - [i38]Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. CoRR abs/2406.19541 (2024) - [i37]Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation. CoRR abs/2407.09106 (2024) - 2023
- [j77]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9(2): 09:1-09:3 (2023) - [j76]David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 9(2): 10:1-10:2 (2023) - [j75]Romain Demangeon, Nobuko Yoshida:
Causal computational complexity of distributed processes. Inf. Comput. 290: 104998 (2023) - [j74]Lorenzo Gheri, Nobuko Yoshida:
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proc. ACM Program. Lang. 7(OOPSLA1): 112-142 (2023) - [j73]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24(2): 14:1-14:73 (2023) - [c170]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Rollback Recovery in Session-Based Programming. COORDINATION 2023: 195-213 - [c169]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP 2023: 1:1-1:30 - [c168]David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. ECOOP 2023: 6:1-6:30 - [c167]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida:
Multicompatibility for Multiparty-Session Composition. PPDP 2023: 2:1-2:15 - [i36]Lorenzo Gheri, Nobuko Yoshida:
Hybrid Multiparty Session Types - Full Version. CoRR abs/2302.01979 (2023) - [i35]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR abs/2305.06238 (2023) - [i34]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR abs/2311.11851 (2023) - [i33]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Checkpoint-based rollback recovery in session programming. CoRR abs/2312.02851 (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]