×

Found 19 Documents (Results 1–19)

Sound and complete type inference for closed effect rows. (English) Zbl 1528.68067

Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 144-168 (2023).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Understanding algebraic effect handlers via delimited control operators. (English) Zbl 1528.68060

Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 59-79 (2023).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Structured handling of scoped effects. (English) Zbl 1528.68088

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 462-491 (2022).
MSC:  68N30 18C50 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Runners in action. (English) Zbl 1508.68050

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 29-55 (2020).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combining predicate transformer semantics for effects: a case study in parsing regular languages. (English) Zbl 1511.68050

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39-56 (2020).
MSC:  68N18 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: arXiv Link

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. (English) Zbl 1527.68041

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 239-260 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Continuation passing style for effect handlers. (English) Zbl 1441.68017

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 18, 19 p. (2017).
MSC:  68N18 03B40 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Introducing a calculus of effects and handlers for natural language semantics. (English) Zbl 1478.03060

Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 257-272 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An effect system for algebraic effects and handlers. (English) Zbl 1394.68051

Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 1-16 (2013).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software