Ikemori, Kazuki; Cong, Youyou; Masuhara, Hidehiko; Leijen, Daan 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 \textit{K. Ikemori} et al., Lect. Notes Comput. Sci. 13401, 144--168 (2023; Zbl 1528.68067) Full Text: DOI
Cong, Youyou; Asai, Kenichi 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 \textit{Y. Cong} and \textit{K. Asai}, Lect. Notes Comput. Sci. 13401, 59--79 (2023; Zbl 1528.68060) Full Text: DOI
Yang, Zhixuan; Paviotti, Marco; Wu, Nicolas; van den Berg, Birthe; Schrijvers, Tom 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 \textit{Z. Yang} et al., Lect. Notes Comput. Sci. 13240, 462--491 (2022; Zbl 1528.68088) Full Text: DOI arXiv
Maršík, Jirka; Amblard, Maxime; de Groote, Philippe Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation. (English) Zbl 1497.68095 Theor. Comput. Sci. 869, 108-155 (2021). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{J. Maršík} et al., Theor. Comput. Sci. 869, 108--155 (2021; Zbl 1497.68095) Full Text: DOI
Ahman, Danel; Bauer, Andrej 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 \textit{D. Ahman} and \textit{A. Bauer}, Lect. Notes Comput. Sci. 12075, 29--55 (2020; Zbl 1508.68050) Full Text: DOI arXiv
Baanen, Anne; Swierstra, Wouter 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 \textit{A. Baanen} and \textit{W. Swierstra}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39--56 (2020; Zbl 1511.68050) Full Text: arXiv Link
Karachalias, Georgios; Pretnar, Matija; Saleh, Amr Hany; Vanderhallen, Stien; Schrijvers, Tom Explicit effect subtyping. (English) Zbl 1482.68081 J. Funct. Program. 30, Paper No. e15, 57 p. (2020). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{G. Karachalias} et al., J. Funct. Program. 30, Paper No. e15, 57 p. (2020; Zbl 1482.68081) Full Text: DOI
Lukšič, Žiga; Pretnar, Matija Local algebraic effect theories. (English) Zbl 1482.68091 J. Funct. Program. 30, Paper No. e13, 27 p. (2020). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{Ž. Lukšič} and \textit{M. Pretnar}, J. Funct. Program. 30, Paper No. e13, 27 p. (2020; Zbl 1482.68091) Full Text: DOI arXiv
Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig Doo bee doo bee doo. (English) Zbl 1442.68026 J. Funct. Program. 30, Paper No. e9, 53 p. (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{L. Convent} et al., J. Funct. Program. 30, Paper No. e9, 53 p. (2020; Zbl 1442.68026) Full Text: DOI
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. (English) Zbl 1442.68024 J. Funct. Program. 30, Paper No. e8, 46 p. (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{J. I. Brachthäuser} et al., J. Funct. Program. 30, Paper No. e8, 46 p. (2020; Zbl 1442.68024) Full Text: DOI
Hillerström, Daniel; Lindley, Sam; Atkey, Robert Effect handlers via generalised continuations. (English) Zbl 1442.68028 J. Funct. Program. 30, Paper No. e5, 69 p. (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{D. Hillerström} et al., J. Funct. Program. 30, Paper No. e5, 69 p. (2020; Zbl 1442.68028) Full Text: DOI
Kammar, Ohad; McDermott, Dylan 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). MSC: 68N30 18A32 18C15 18C50 68N18 68Q55 PDFBibTeX XMLCite \textit{O. Kammar} and \textit{D. McDermott}, Electron. Notes Theor. Comput. Sci. 341, 239--260 (2018; Zbl 1527.68041) Full Text: DOI arXiv
Hillerström, Daniel; Lindley, Sam; Atkey, Robert; Sivaramakrishnan, K. C. 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 \textit{D. Hillerström} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 18, 19 p. (2017; Zbl 1441.68017) Full Text: DOI
Kammar, Ohad; Pretnar, Matija No value restriction is needed for algebraic effects and handlers. (English) Zbl 1418.68034 J. Funct. Program. 27, Paper No. e7, 34 p. (2017). MSC: 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{O. Kammar} and \textit{M. Pretnar}, J. Funct. Program. 27, Paper No. e7, 34 p. (2017; Zbl 1418.68034) Full Text: DOI arXiv
Abel, Andreas; Adelsberger, Stephan; Setzer, Anton Interactive programming in Agda – objects and graphical user interfaces. (English) Zbl 1418.68031 J. Funct. Program. 27, Paper No. e8, 54 p. (2017). MSC: 68N18 68T15 68U35 PDFBibTeX XMLCite \textit{A. Abel} et al., J. Funct. Program. 27, Paper No. e8, 54 p. (2017; Zbl 1418.68031) Full Text: DOI
Maršík, Jirka; Amblard, Maxime 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). MSC: 03B65 18C15 03B40 68N18 PDFBibTeX XMLCite \textit{J. Maršík} and \textit{M. Amblard}, Lect. Notes Comput. Sci. 9804, 257--272 (2016; Zbl 1478.03060) Full Text: DOI arXiv
Bauer, Andrej; Pretnar, Matija An effect system for algebraic effects and handlers. (English) Zbl 1448.68203 Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{A. Bauer} and \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014; Zbl 1448.68203) Full Text: DOI
Pretnar, Matija Inferring algebraic effects. (English) Zbl 1341.68024 Log. Methods Comput. Sci. 10, No. 3, Paper No. 21, 43 p. (2014). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 3, Paper No. 21, 43 p. (2014; Zbl 1341.68024) Full Text: DOI arXiv
Bauer, Andrej; Pretnar, Matija 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 \textit{A. Bauer} and \textit{M. Pretnar}, Lect. Notes Comput. Sci. 8089, 1--16 (2013; Zbl 1394.68051) Full Text: DOI arXiv