Concepedia

Tarmo Uustalu

TU

Statistics

Publications

44

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 computer science, programming languages, and computing.

ORCID

Publications per year

1998–2022

44

Publications

44

Type-based termination of recursive definitions

Gilles Barthe, Maria João Frade, Luís Pinto et al. · Mathematical Structures in Computer Science · 2004 · 104 citations · Full text

, , +15

Comonadic Notions of Computation

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

, , +12

Monads need not be endofunctors

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

, , +12

Combining effects and coeffects via grading

Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart et al. · 2016 · 64 citations · Full text

, , +15

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

Tarmo Uustalu, Varmo Vene · 1999 · 62 citations

, , +13

1–5 of 44