Output details
11 - Computer Science and Informatics
University of Glasgow
Output title
Modular session types for distributed object-oriented programming
Type
E - Conference contribution
Name of conference/published proceedings
37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Madrid, Spain
Volume number
-
Issue number
-
First page of article
299
ISSN of proceedings
-
Year of publication
2010
URL
-
Number of additional authors
4
Additional information
<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).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
