An Interaction-based Language and its Typing System (1994)

Cached

Download Links

by Kaku Takeuchi , Kohei Honda , Makoto Kubo
Venue:In PARLE’94, volume 817 of LNCS
Citations:109 - 17 self

Active Bibliography

199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
30 Higher-Order Concurrent Linear Logic Programming – Naoki Kobayashi, Akinori Yonezawa - 1995
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
Processes, Functions, and Datatypes – Vasco T. Vasconcelos - 1998
38 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
2 Predicative polymorphism in π-calculus – Vasco T. Vasconcelos - 1994
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
4 An Algebraic Theory of Actors and its Application to a Simple Object-Based Language – Gul Agha - 2004
6 Typed Higher-Order Concurrent Linear Logic Programming – Naoki Kobayashi, Akinori Yonezawa - 1994
.2 Computational Field Model – To Make, I Respond - 1993
5 Type-Based Analysis Of Usage Of Values For Concurrent Programming Languages – Atsushi Igarashi - 1997
28 Composing Processes – Kohei Honda - 1996
71 Typed Concurrent Objects – Vasco T. Vasconcelos
13 Programming with behaviors in an ML framework - The syntax and semantics of LCS – Bernard Berthomieu, Thierry Le Sergent - 1994
1 Type system for specializing polymorphism – Atsushi Ohori - 1997
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
13 A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993