The Type System for the Message Passing Language MPL

Date
2014-01-30
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We present a formal description of the Message Passing Language (MPL) which is based on the message passing logic proposed by Cockett and Pastro with the addition of concurrent datatypes or protocols. This thesis also provides a ``proof of concept'' of the language by developing substantial examples in MPL. We also present a complete type system for MPL which underpins both the type checking and the type inference of the language.
Description
Keywords
Computer Science
Citation