×

Found 7 Documents (Results 1–7)

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
Power, John

Indexed Lawvere theories for local state. (English) Zbl 1243.18003

Hart, Bradd (ed.) et al., Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18–20, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7281-9/pbk). CRM Proceedings and Lecture Notes 53, 213-229 (2011).
Reviewer: Hirokazu Nishimura (Tsukuba)
MSC:  18C10 18C50 18D30
Cite Review PDF
Wadler, Philip

The marriage of effects and monads. (English) Zbl 1370.68050

Berman, A. Michael (ed.), Proceedings of the 2nd ACM SIGPLAN international conference on functional programming, ICFP ’97, Amsterdam, Netherlands, June 9–11, 1997. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-918-1). ACM SIGPLAN Notices 32, No. 8, 63-74 (1997).
MSC:  68N18 68Q55
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

Main Field