|
163
|
Language primitives and type discipline for structured communication-based programming
– Nobuko Yoshida, Vasco T. Vasconcelos
- 1998
|
|
29
|
Higher-Order Concurrent Linear Logic Programming
– Naoki Kobayashi, Akinori Yonezawa
- 1995
|
|
119
|
Linearity and the Pi-Calculus
– Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
- 1999
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
|
Processes, Functions, and Datatypes
– Vasco T. Vasconcelos
- 1998
|
|
35
|
Semantics for communication primitives in a polymorphic language
– Atsushi Ohori, Kazuhiko Kato
- 1993
|
|
2
|
Predicative polymorphism in π-calculus
– Vasco T. Vasconcelos
- 1994
|
|
93
|
The Polymorphic Pi-calculus: Theory and Implementation
– David N. Turner
- 1995
|
|
2
|
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
|
|
27
|
Composing Processes
– Kohei Honda
- 1996
|
|
70
|
Typed Concurrent Objects
– Vasco Vasconcelos
- 1994
|
|
13
|
Programming with behaviors in an ML framework - The syntax and semantics of LCS
– Bernard Berthomieu, Thierry Le Sergent
- 1994
|
|
6
|
Type-directed specialization of polymorphism
– Atsushi Ohori
- 1999
|
|
1
|
Type system for specializing polymorphism
– Atsushi Ohori
- 1997
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
12
|
A Typed Higher-Order Programming Language Based on the Pi-Calculus
– Benjamin C. Pierce, Didier Rémy, David N. Turner
- 1993
|
