Tarmo Uustalu

Cited by

	All	Since 2017
Citations	2474	910
h-index	28	15
i10-index	68	36

200

100

150

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 7 9 12 9 10 7 18 22 34 41 46 94 76 75 109 96 132 136 169 153 132 134 153 169 148 168 186 84

Public access

View all

14 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Varmo VeneProfessor of Semantics of Programming Languages, University of TartuVerified email at cs.ut.ee
James ChapmanIOGVerified email at iohk.io
Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Ando SaabasMicrosoftVerified email at set.ee
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Luís PintoCentro de Matemática and Departamento de Matemática e Aplicações, Universidade do MinhoVerified email at math.uminho.pt
Keiko NakataSAP SEVerified email at cs.ioc.ee
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Venanzio CaprettaNottingham UniversityVerified email at duplavis.com
Denis FirsovResearcher at Guardtime AS and Tallinn University of TechnologyVerified email at uiowa.edu
Ralph MatthesCNRS, IRIT, Toulouse, FranceVerified email at irit.fr
Maria João FradeHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Noam ZeilbergerEcole PolytechniqueVerified email at lix.polytechnique.fr
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Alberto PardoProfessor of Computer Science, Instituto de Computacion, Universidad de la Republica, UruguayVerified email at fing.edu.uy
Makoto HamanaAssociate Professor, Gunma UniversityVerified email at cs.gunma-u.ac.jp
Dominic OrchardSenior Lecturer, School of Computing, University of KentVerified email at kent.ac.uk
Marco GaboardiBoston UniversityVerified email at bu.edu
Hendrik MaarandTallinn University of TechnologyVerified email at cs.ioc.ee

Tarmo Uustalu

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

Verified email at ru.is - Homepage

logic semantics programming languages functional programming type theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Monads need not be endofunctors T Altenkirch, J Chapman, T Uustalu Logical Methods in Computer Science 11 (1), 2015	149*	2015
Type-based termination of recursive definitions G Barthe, MJ Frade, E Giménez, L Pinto, T Uustalu Mathematical Structures in Computer Science 14 (1), 97-141, 2004	134	2004
The essence of dataflow programming T Uustalu, V Vene Central European Functional Programming School, 135-167, 2006	111	2006
The essence of dataflow programming T Uustalu, V Vene Asian Symposium on Programming Language and Systems, 2-18, 2005	111	2005
Comonadic notions of computation T Uustalu, V Vene Electronic Notes in Theoretical Computer Science 203 (5), 263-284, 2008	108	2008
Primitive (co) recursion and course-of-value (co) iteration, categorically T Uustalu, V Vene Informatica 10 (1), 5-26, 1999	104	1999
Iteration and coiteration schemes for higher-order and nested datatypes A Abel, R Matthes, T Uustalu Theoretical Computer Science 333 (1-2), 3-66, 2005	74	2005
Recursion schemes from comonads T Uustalu, V Vene, A Pardo Nordic Journal of Computing 8 (3), 366-390, 2001	73	2001
Recursive coalgebras from comonads V Capretta, T Uustalu, V Vene Information and Computation 204 (4), 437-468, 2006	72	2006
Combining effects and coeffects via grading M Gaboardi, S Katsumata, D Orchard, F Breuvart, T Uustalu ACM SIGPLAN Notices 51 (9), 476-489, 2016	63	2016
Functional programming with apomorphisms (corecursion) V Vene, T Uustalu Proceedings of the Estonian Academy of Sciences: Physics, Mathematics 47 (3 …, 1998	58	1998
Trace-based coinductive operational semantics for While K Nakata, T Uustalu Theorem Proving in Higher Order Logics, 375-390, 2009	55	2009
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents L Pinto, T Uustalu Automated Reasoning with Analytic Tableaux and Related Methods, 295-309, 2009	49	2009
Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: An exercise in mixed induction-coinduction K Nakata, T Uustalu EPTCS 32, 57-75, 2010	44	2010
Generalizing substitution T Uustalu RAIRO-Theoretical Informatics and Applications 37 (4), 315-336, 2003	40	2003
Representing cyclic structures as nested datatypes N Ghani, M Hamana, T Uustalu, V Vene Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006, 2006	39	2006
Corecursive algebras: A study of general structured corecursion V Capretta, T Uustalu, V Vene Brazilian Symposium on Formal Methods, 84-100, 2009	38	2009
Coproducts of ideal monads N Ghani, T Uustalu RAIRO-Theoretical Informatics and Applications 38 (4), 321-342, 2004	37	2004
CPS translating inductive and coinductive types G Barthe, T Uustalu Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and …, 2002	37	2002
A Hoare logic for the coinductive trace-based big-step semantics of While K Nakata, T Uustalu Logical Methods in Computer Science 11 (1), 2015	36	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors