Type Inference for a Distributed pi-Calculus
Abstract elided by the publisher.
Related papers
- The receptive distributed pi-calculus TOPLAS 2003
- An error-tolerant type system for variational lambda calculus ICFP 2012
- Variable Elimination as Rewriting in a Linear Lambda Calculus ESOP 2025
- Type Inference for Place-Oblivious Objects ECOOP 2015
- JOIN(X): Constraint-Based Type Inference for the Join-Calculus ESOP 2001
- Type inference for locality analysis of distributed data structures PPoPP 2008
- A Sort Inference Algorithm for the Polyadic Pi-Calculus POPL 1993
- A lambda-calculus foundation for universal probabilistic programming ICFP 2016