Outputs (2)

Programming language semantics: It’s easy as 1,2,3 (2023)
Journal Article
HUTTON, G. (2023). Programming language semantics: It’s easy as 1,2,3. Journal of Functional Programming, 33, Article e9. https://doi.org/10.1017/S0956796823000072

Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used... Read More about Programming language semantics: It’s easy as 1,2,3.

Calculating Compilers for Concurrency (2023)
Journal Article
Bahr, P., & Hutton, G. (2023). Calculating Compilers for Concurrency. Proceedings of the ACM on Programming Languages, 7(ICFP), 740-767. https://doi.org/10.1145/3607855

Choice trees have recently been introduced as a general structure for defining the semantics of programming languages with a wide variety of features and effects. In this article we focus on concurrent languages, and show how a codensity version of c... Read More about Calculating Compilers for Concurrency.