A functional abstraction of typed invocation contexts

DOI10.4230/LIPICS.FSCD.2021.12MaRDI QIDQ6159927FDOQ6159927

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

Publication date: 23 June 2023

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

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)

Cited In (3)

• A Functional Abstraction of Typed Invocation Contexts
• Title not available (Why is that?)
• Title not available (Why is that?)

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)