Output details
11 - Computer Science and Informatics
University of Glasgow
Modular session types for distributed object-oriented programming
<10>Innovation: this paper develops theory for the first full integration of session types (type-theoretic specifications of communication protocols) and object-oriented programming, to support future advances in this style of programming language development.
Rigour: the paper was published at the top conference in programming language theory. The soundness of the proposed type system is verified by rigorous mathematical proof, and the paper is supported by a prototype programming language implementation.
Impact: the paper forms part of the foundation for the EPSRC Programme Grant “From Data Types to Session Types: A Basis for Concurrency and Distribution” (EP/K034413/1).