Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ESOP
1998
Springer

favoriteEmaildiscussreport

76views Programming Languages» more ESOP 1998»

Language Primitives and Type Discipline for Structured Communication-Based Programming

13 years 8 months ago

Language Primitives and Type Discipline for Structured Communication-Based Programming

Download www.di.fc.ul.pt

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto K

Real-time Traffic

ESOP 1998 | Programming Languages |

claim paper

Related Content

» Set Types and Applications

» Disciplining Orchestration and Conversation in ServiceOriented Computing

» Type System for Specializing Polymorphism

» Generic Universe Types

» TypeSafe Eventful Sessions in Java

» A Distributed ObjectOriented Language with Session Types

» Logical types for untyped languages

» Types for Safe Locking

» Is Structural Subtyping Useful An Empirical Study

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	ESOP
Authors	Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo

Comments (0)