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
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
Tarmo Uustalu
Last update 5 July 2022