Output details
11 - Computer Science and Informatics
University of Glasgow
Article title
Bounded polymorphism in session types
Type
D - Journal article
Title of journal
Mathematical Structures in Computer Science
Article number
-
Volume number
18
Issue number
05
First page of article
895
ISSN of journal
0960-1295
Year of publication
2008
URL
-
Number of additional authors
0
Additional information
<10>Innovation: this paper concerns session types, which are type-theoretic specifications of communication protocols. It was the first to study session types in combination with a powerful form of polymorphism, to support future developments in programming languages that incorporate session types.
Rigour: the paper was published in one of the top five journals in programming language theory. Its results are rigorously-proved mathematical statements about a type system.
Impact: the paper has attracted considerable interest from the growing community of researchers on session types. The theory it provides is ahead of current practice, and its impact is likely to increase over time.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
10
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
