scientific article; zbMATH DE number 3972162

MaRDI QIDQ3738543zbMATH OpenFDO

Authors Christopher T. Haynes

Publication date 1986

zbMATH Keywords

backtrackingcontrol flexibilitycontrol transfersfirst-class continuationLisplogic programminglogic variable bindingsprocedural programming languagesstate-space model

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Theory of computing (68Q99)

Recommendations

• Logic continuations
• scientific article; zbMATH DE number 3872649
• Embedding continuations in procedural objects
• scientific article; zbMATH DE number 1543356
• Delimited continuations for Prolog

Cited in

(8)

• Continuous logic. I: Basic concepts
• scientific article; zbMATH DE number 3872649 (Why is no real title available?)
• Embedding continuations in procedural objects
• scientific article; zbMATH DE number 1543356 (Why is no real title available?)
• Logic continuations
• Delimited continuations for Prolog
• Fifty Years of Prolog and Beyond
• A type-theoretic foundation of delimited continuations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3738543)