Tarmo Uustalu

Not registered as user yet

Name:Tarmo Uustalu
Bio:

My research interests include structural proof theory and type theory (deductive systems and typed term calculi for intuitionistic and related logics), algebraic and categorical logic, semantics of programming languages and program logics.

Country:Iceland
Affiliation:Reykjavik University
Personal website:http://cs.ioc.ee/~tarmo/

Contributions

APLAS 2020 Author of Algebraic and coalgebraic perspectives on interaction laws within the Research Papers-track
HOPE 2020 Author of Merging coeffect production into effect handling within the HOPE 2020-track
ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track
Publicity in Executive Board
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
TyDe 2017 Committee Member in Program Committee within the TyDe 2017-track
VORTEX 2016 Committee Member in Program Committee within the VORTEX-track
ICFP 2016 Author of Combining Effects and Coeffects via Grading within the Research Papers-track