We adapt the Damas-Milner typing discipline to the join-calculus. The main result is a new generalization criterion that extends the polymorphism of ML to join-definitions. We prove the correctness of our typing rules with regard to a chemical semantics. We also relate typed extensions of the core join-calculus to functional languages.
CITATION STYLE
Fournet, C., Laneve, C., Maranget, L., & Rémy, D. (1997). Implicit typing á la ML for the join-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1243, pp. 196–212). Springer Verlag. https://doi.org/10.1007/3-540-63141-0_14
Mendeley helps you to discover research relevant for your work.