A functional abstraction of typed invocation contexts

DOI10.4230/LIPICS.FSCD.2021.12MaRDI QIDQ6159927zbMATH OpenFDO

Authors Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

Publication date 23 June 2023

zbMATH Keywords

type systemcontrol operatorsCPS translationdelimited continuationscontrol and prompt

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Recommendations

• A Functional Abstraction of Typed Invocation Contexts
• Typed Dynamic Control Operators for Delimited Continuations
• Polymorphic Delimited Continuations
• Subtyping delimited continuations
• A Substructural Type System for Delimited Continuations

Cited in

(3)

• A Functional Abstraction of Typed Invocation Contexts
• scientific article; zbMATH DE number 6721685 (Why is no real title available?)
• scientific article; zbMATH DE number 7377974 (Why is no real title available?)

This page was built for publication: A functional abstraction of typed invocation contexts

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