Tarmo Uustalu -

Registered user since Sat 21 Aug 2021

Name:Tarmo Uustalu

Country:Iceland

Affiliation:Reykjavik University

Personal website: https://kennarar.ru.is/tarmo

Contributions

2023

APLAS

PC Member in Program Committee within the APLAS 2023-track

NWPT

Author of Bidirectional data-flow analyses compared to relational through Galois connections within the NWPT 2023-track

PPDP

Author of Additive Cellular Automata Graded-Monadically within the PPDP 2023-track

2022

HOPE

Author of Flexibly graded monads and graded algebras within the HOPE 2022-track

ICFP

Author of Flexible presentations of graded monads within the ICFP Papers and Events-track

TyDe

Committee Member in Program Committee within the TyDe 2022-track

PAW

Author of A Type System with Subtyping for WebAssembly's Stack Polymorphism within the PAW 2022-track

2021

ICFP

Presenter of Interaction laws of monads and comonads within the Tutorials-track

2020

APLAS

Author of Algebraic and coalgebraic perspectives on interaction laws within the Research Papers-track

HOPE

Author of Merging coeffect production into effect handling within the HOPE 2020-track

2019

ICFP

Committee Member in External Review Committee within the Research Papers-track

ETAPS

2017

TyDe

Committee Member in Program Committee within the TyDe 2017-track

2016

ICFP

Author of Combining Effects and Coeffects via Grading within the Research Papers-track

VORTEX

Committee Member in Program Committee within the VORTEX-track