Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Article title
Game semantics for a polymorphic programming language
Type
D - Journal article
DOI
Title of journal
Journal of the ACM
Article number
29
Volume number
60
Issue number
4
First page of article
-
ISSN of journal
0004-5411
Year of publication
2013
Number of additional authors
0
Additional information
<10>This is an expanded and revised version of a paper that appeared at LICS 2010 (DOI 10.1109/LICS.2010.32), rated 4th conference in the Microsoft rankings for the algorithms and theory specialism. This paper was selected as amongst the top three at the conference and a journal version was invited for submission to this issue of the Journal of the ACM, rated 9th amongst all computer science journals by Microsoft.
Research was further developed by the author to interpret call-by-value polymorphism, and forms the basis for the £265k EPSRC-funded project "Semantic Types for Verified Program Behaviour".
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
