|
|
Processes, Functions, and Datatypes
– Vasco T. Vasconcelos
- 1998
|
|
7
|
Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d)
– Benjamin C. Pierce
- 1996
|
|
93
|
The Polymorphic Pi-calculus: Theory and Implementation
– David N. Turner
- 1995
|
|
4
|
Low-Level Type Systems for Modularity and Object-Oriented Constructs
– Arthur Neal Glew
- 2000
|
|
6
|
Contextual Polymorphism
– Glen Jeffrey Ditchfield
- 1994
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
119
|
Linearity and the Pi-Calculus
– Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
- 1999
|
|
5
|
Subject reduction and minimal types for higher order subtyping
– Adriana Compagnoni
- 1997
|
|
1
|
Typed Concurrent Programming with Logic Variables
– Martin Müller, Joachim Niehren, Gert Smolka
- 1997
|
|
30
|
The Development of Type Systems for Object-Oriented Languages
– Kathleen Fisher, John C. Mitchell
- 1996
|
|
32
|
Notes on Typed Object-Oriented Programming
– Kathleen Fisher, John C. Mitchell
- 1994
|
|
13
|
Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)
– Davide Sangiorgi
- 1999
|
|
28
|
Creol: A type-safe object-oriented model for distributed concurrent systems
– Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
- 2006
|
|
|
Information Societies Technology
– Ist Programme Contract
|
|
109
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
|
80
|
On Asynchrony in Name-Passing Calculi
– Massimo Merro, Davide Sangiorgi
- 1998
|
|
|
Logical Observable Entities
– Jonathan G. Rossie, Jr.
- 1998
|
|
50
|
Component-Oriented Software Technology
– Oscar Nierstrasz, Laurent Dami
- 1995
|
|
3
|
Mobile processes: A commented bibliography
– Silvano Dal Zilio
- 2000
|
