
Registered user since Sat 21 Aug 2021
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, Tallinn University of Technology
Personal website:http://cs.ioc.ee/~tarmo/
Contributions
HOPE 2020 | Merging coeffect production into effect handling | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile