scientific article; zbMATH DE number 7393566

zbMath1471.68062arXiv1309.1257MaRDI QIDQ4957790

Herman Geuvers, Bram Geron

Publication date: 9 September 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other nonclassical models of computation (68Q09)

Cites Work

• Unnamed Item
• Unnamed Item
• A syntactic theory of sequential control
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Control reduction theories: the benefit of structural substitution
• Representing Control: a Study of the CPS Transformation
• A monadic framework for delimited continuations

This page was built for publication: