Implicit typing à la ML for the join-calculus
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 196-212
- https://doi.org/10.1007/3-540-63141-0_14
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- Linearity and the pi-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus of mobile agentsPublished by Springer Nature ,1996
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Predicative polymorphism in π-calculusPublished by Springer Nature ,1994
- Concurrent ML: Design, application and semanticsPublished by Springer Nature ,1993
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982