scientific article; zbMATH DE number 7393569

zbMath1471.68071arXiv1309.1259MaRDI QIDQ4957793

James Laird

Publication date: 9 September 2021

Full work available at URL: https://arxiv.org/abs/1309.1259

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects

Cites Work

• Combining algebraic effects with continuations
• Full abstraction for nominal general references
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: