Control effects as a modality

DOI10.1017/S0956796808006734zbMath1158.68358MaRDI QIDQ5302644

Hayo Thielecke

Publication date: 8 January 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Functional programming and lambda calculus (68N18)

Related Items (1)

Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control

Cites Work

• Unnamed Item
• On the expressive power of programming languages
• The revised report on the syntactic theories of sequential control and state
• Computational types from a logical perspective
• The marriage of effects and monads

This page was built for publication: Control effects as a modality