RPC

• RPC Calculi
• A Polymorphic RPC calculus SCP 2020
  Authors: Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
• A theory of RPC calculi for client-server model JFP 2019
  Authors: Kwanghoon Choi, Byeong-Mo Chang
• Links: Web Programming Without Tiers FMCO 2006
  Authors: Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop
• Compilation
• A Typed Slicing Compilation of the Polymorphic RPC calculus PPDP 2021
  Authors: Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
• Semantics for Communication Primitives in an Polymorphic Language POPL 1993
  Authors: Atsushi Ohori, Kazuhiko Kato
• Choreographic programming
• Portable, Efficient, Practical Library-level Choreographic programming ICFP 2024
  Authors: Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
• HasChor: Functional Choreographic Programming for ALL (functional pearl) ICFP 2023
  Authors: Gan Shen, Shun Kashiwa, Lindsey Kuper
• Alice or Bob?: Process polymorphism in choreographies JFP 2024
  Authors: Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
• MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values ??
  Authors: Mako Bates, Syed Jafri, Joseph P. Near
• ScalaLoci
• Multiparty languages: The Choreographic and Multitier Cases ECOOP 2021
  Authors: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
• Multitier modules ECOOP 2019
  Authors: Pascal Weisenburger, Guido Salvaneschi
• Distributed system development with ScalaLoci OOPSLA 2018
  Authors: Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi
• Software
• PolyRPC
• Links
• ScalaLoci
• Choral
• HasChor
• Haskell Distributed Computing
• Cloud Haskell