Output details
11 - Computer Science and Informatics
University of Birmingham
Output title
Universal properties of impure programming languages
Type
E - Conference contribution
Name of conference/published proceedings
the 40th annual ACM SIGPLAN-SIGACT symposium
Volume number
-
Issue number
-
First page of article
179
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
1
Additional information
<10>This paper appeared in POPL, the premier conference for programming language theory, but too recently (2013) to have a substantial impact. It gives a direct categorical semantic framework (involving "premulticategories") for impure, call-by-value languages, and shows how it is connected to older semantics, in particular Moggi's monad framework that has been immensely influential in the theory anad practice of functional programming. The connection between the premulticategory framework and ML-like programs is much more apparent. At the same time the framework leads to theoretical results including universality theorems for product, sum and function types.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Theory of Computation
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
