Scholar

Tarmo Uustalu

Google Scholar ID: BFHrFCUAAAAJ

Professor, Reykjavik University / Lead research scientist, Tallinn University of Technology

logicsemanticsprogramming languagesfunctional programmingtype theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,094

H-index

17

i10-index

38

Publications

20

Co-authors

34

list available

Contact

Publications

1 items

Monoid Structures on Indexed Containers

2025

Cited

0

Co-authors

8 total

Niccolò Veltri

Assistant Professor, Department of Software Science, Tallinn University of Technology

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham

Institute of Computer Science, University of Tartu

Dylan McDermott

University of Oxford

MPI-SP and IMDEA Software Institute

Senior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburg

Dominic Orchard

School of Computing, University of Kent and Computer Laboratory, University of Cambridge

Boston University