Session Types for Functional Multithreading

We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, associated with a communication channel, specifies the state transitions of a protocol and also the data types of messages assoc...

Full description

Bibliographic Details
Main Author: Vasconcelos, Vasco T. (author)
Other Authors: Ravara, António (author), Gay, Simon (author)
Format: report
Language:por
Published: 2009
Subjects:
Session types
static typechecking
concurrent programming
specification of communication protocols
Online Access:http://hdl.handle.net/10451/14235
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/14235

Internet

http://hdl.handle.net/10451/14235

Similar Items