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
• Semantics / 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
• A Unified Semantics for Future Erlang Erlang Workshop 2010
  Authors: Hans Svensson, Lars-Ake Fredlund, Clara Benac Earle
• Programming Distributed Computing Systems: A Foundational Approach MIT Press
  Authors: Carlos A. Varela
• 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
• Programming Language/Software
• PolyRPC
• Links
• ScalaLoci
• Choral
• HasChor
• Haskell Distributed Computing
• Cloud Haskell
• Programming Models for Distributed Computation by Heather Miller and her students in CS7680 Special Topics in Computing Systems, a course at Northeastern University
• Distributed Programming in Argus by B. Liskov
• Distribution and Abstract Types in Emerald by A.Black, N. Hutchinson, E. Jul, H. Levy, and L.Carter
• The Linda alternative to message-passing systems by N.J. Carriero, D. Gelernter, T.G. Mattson, and A.H. Sherman
• Scala Actors: Unifying thread-based and event-based programming by P. Haller and M. Odersky
• Towards Haskell in the Cloud by J. Epstein, A.P. Black, and S.P. Jones
• Lasp: A Language for Distributed, Coordination-Free Programming by C. Meiklejohn and P.V. Roy