Computational effects and high-level control (CTRL-F)

This is a research project funded by the Icelandic Research Fund, run at the Department of Computer Science of Reykjavik University from 1 Jan. 2022 to 31 Dec. 2024.

Research programme

We study the following topics:

• computational effects and iteration (infinite computations),
• computational effects and concurrency,
• computational effects and event-drivenness.

People

Participants

• Tarmo Uustalu, PI
• Sergey Goncharov (FAU Erlangen-Nürnberg), co-PI
• Renato Neves (U. do Minho), co-PI
• Exequiel Rivas (Marigold / Tallinn UT), co-PI


• Dylan McDermott, postdoc
• Yasuaki Morita, PhD student

Project activity

Research visits

• Yasuaki Morita, RU → Berlin (ECOOP '22), 5-10 June 2022
• Dylan McDermott, RU → U. of Kent (Mtg. on Graded Types) and L2SN, U. Nantes (TYPES '22), 16-23 June 2022

Results and dissemination

Papers

• D. McDermott, T. Uustalu. Flexibly graded monads and graded algebras. In E. Komendantskaya, ed., Proc. of 14th Int. Conf. on Mathematics of Program Construction, MPC 2022 (Tbilisi, Sept. 2022), Lect. Notes in Comput. Sci., Springer, to appear.
• S. Katsumata, D. McDermott, T. Uustalu, N. Wu. Flexible presentations of graded monads. Proc. of ACM on Program. Lang., v. 6, n. ICFP (Proc. of 27th ACM SIGPLAN Int. Conf. on Functional Programming, ICFP '22, Ljubljana, Sept. 2022), to appear.
• F. Breuvart, D. McDermott, T. Uustalu. Canonical gradings of monads. In M. Lewis, J. Master, eds., Proc. of 5th Ann. Int. Applied Category Theory Conf., ACT 2022 (Glasgow, July 2022), Electron. Proc. in Theor Comput. Sci., Open Publishing Assoc., to appear.

Talks

• Y. Morita, A type system with subtyping for WebAssembly's stack polymorphism (joint work with D. McDermott, T. Uustalu), talk at PAW 2022, Berlin, 6 June 2022
• D. McDermott, Canonical gradings of monads (joint work with F. Breuvart, T. Uustalu), talk at Meeting on Graded Types, U. of Kent, Canterbury, 17 June 2022
• D. McDermott, Flexible presentations of graded monads (joint work with S. Katsumata, T. Uustalu, N. Wu), talk at TYPES 2022, Nantes, 20-23 June 2022
• D. McDermott, Canonical gradings of monads (joint work with F. Breuvart, T. Uustalu), talk at ACT 2022, Glasgow, 18-22 July 2022
• D. McDermott, Galois connecting call-by-value and call-by-name (joint work with A. Mycroft), talk at FSCD 2022, Haifa, 2-5 Aug. 2022
• D. McDermott, Flexible presentations of graded monads (joint work with S. Katsumata, T. Uustalu, N. Wu), talk at ICFP 2022, Ljubljana, 12-14 Sept. 2022
• D. McDermott, Flexibly graded monads and graded algebras (joint work with T. Uustalu), talk at MPC 2022, Tbilisi, 26-28 Sept. 2022