×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Espírito, Santo José; Mendes, Filipa

The logical essence of compiling with continuations. (English) Zbl 07929334

Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 19, 21 p. (2023).
MSC:  03B70 68Qxx
Cite Review PDF
Full Text: DOI arXiv
Hoshino, Naohiko; Muroya, Koko; Hasuo, Ichiro

Memoryful geometry of interaction: from coalgebraic components to algebraic effects. (English) Zbl 1394.68062

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 52, 10 p. (2014).
MSC:  68N18 03B40 03F52 03G30 68Q55
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field