Implicit typing `a la ML for the join-calculus (1997)

by Edric Fournet , Cosimo Laneve , Luc Maranget
Venue:Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science
Citations:47 - 12 self

Document Versions

Implicit typing `a la ML for the join-calculus –Edric Fournet, Cosimo Laneve, Luc Maranget — 1997 — Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science
Implicit typing à la ML for the join-calculus –Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy — 1997 — Proceedings of the 8th International Conference on Concurrency Theory, LNCS 1243
Implicit typing à la ML for the join-calculus –Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy — 1997 — Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science