Declarative continuations: An investigation of duality in programming language semantics

DOI10.1007/BFb0018355zbMath1493.68108MaRDI QIDQ5096263

Andrzej Filinski

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items

On the call-by-value CPS transform and its semantics, Call-by-Value Is Dual to Call-by-Name, Extended, Subtractive logic, Investigations on the dual calculus, CPS-translation as adjoint

Cites Work

• Linear logic
• The linear abstract machine
• Unnamed Item
• Unnamed Item
• Unnamed Item