Concepedia

Tarmo Uustalu

TU

Statistics

Publications

43

Citations

1.2K

H-Index

20

Active since

1998

Affiliations

Tallinn University of Technology(Current)

University of Tartu

Institut national de recherche en sciences et technologies du numérique

Kyoto University

University of Minho

Tarmo Uustalu is an author at Tallinn University of Technology specializing in formal methods, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceProgram AnalysisFormal VerificationLanguageLinguisticsSyntaxGrammar

Publications per year

1998–2022

43

Publications

43

Type-based termination of recursive definitions

Gilles Barthe, Maria João Frade, E. GIMNEZ et al. · Mathematical Structures in Computer Science · 2004 · 102 citations · Full text

Comonadic Notions of Computation

Tarmo Uustalu, Varmo Vene · Electronic Notes in Theoretical Computer Science · 2008 · 77 citations · Full text

Engineering, Type Theory, Computational Model Theory +16

Monads need not be endofunctors

Thosten Altenkirch, James Chapman, Tarmo Uustalu · Logical Methods in Computer Science · 2015 · 67 citations · Full text

Algebraic Logic, Indexed Containers, Engineering +12

Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically

Tarmo Uustalu, Varmo Vene · 1999 · 62 citations

Engineering, Computability Theory, Automated Reasoning +12

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard et al. · 2016 · 61 citations · Full text

Engineering, Type Theory, Treatment Effect +19

1–5 of 43