Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
Abstract elided by the publisher.
Related papers
- Combinatory Representation of Mobile Processes POPL 1994
- Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) ICFP 2025
- Taming the Merge Operator JFP 2021
- Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation TOPLAS 2010
- The Complexity of Type Inference for Higher-Order Typed lambda Calculi JFP 1994
- Row and Bounded Polymorphism via Disjoint Polymorphism ECOOP 2020
- Pure iso-type systems JFP 2019
- A Typed Language for Distributed Mobile Processes (Extended Abstract) POPL 1998