×

zbMATH — the first resource for mathematics

Uustalu, Tarmo

Compute Distance To:
Author ID: uustalu.tarmo Recent zbMATH articles by "Uustalu, Tarmo"
Published as: Uustalu, T.; Uustalu, Tarmo
Homepage: http://cs.ioc.ee/~tarmo/
External Links: MGP · ORCID · dblp · GND
Documents Indexed: 72 Publications since 1990, including 7 Books

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 226 times in 152 Documents Cited by Year
Type-based termination of recursive definitions. Zbl 1054.68027
Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T.
18
2004
Generalizing substitution. Zbl 1042.18003
Uustalu, Tarmo
15
2003
Primitive (co)recursion and course-of-value (co) iteration, categorically. Zbl 0935.68011
Uustalu, Tarmo; Vene, Varmo
15
1999
Iteration and coiteration schemes for higher-order and nested datatypes. Zbl 1070.68093
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo
13
2005
Monads need not be endofunctors. Zbl 1284.18010
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
12
2010
Comonadic notions of computation. Zbl 1279.68088
Uustalu, Tarmo; Vene, Varmo
11
2008
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents. Zbl 1260.03105
Pinto, Luís; Uustalu, Tarmo
10
2009
Coproducts of ideal monads. Zbl 1072.18006
Ghani, Neil; Uustalu, Tarmo
9
2004
Substitution in non-wellfounded syntax with variable binding. Zbl 1071.68063
Matthes, Ralph; Uustalu, Tarmo
9
2004
Recursion schemes from comonads. Zbl 0994.68018
Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto
8
2001
Corecursive algebras: a study of general structured corecursion. Zbl 1266.68083
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
7
2009
Recursive coalgebras from comonads. Zbl 1110.68068
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
6
2006
Mendler-style inductive types, categorically. Zbl 0937.68029
Uustalu, Tarmo; Vene, Varmo
6
1999
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1260.68111
Nakata, Keiko; Uustalu, Tarmo
5
2010
Program and proof optimizations with type systems. Zbl 1151.68008
Saabas, Ando; Uustalu, Tarmo
5
2008
A compositional natural semantics and Hoare logic for low-level languages. Zbl 1111.68071
Saabas, Ando; Uustalu, Tarmo
5
2007
Explicit substitutions and higher-order syntax. Zbl 1105.68021
Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto
5
2006
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
4
2015
When is a container a comonad? Zbl 1338.68172
Ahman, Danel; Chapman, James; Uustalu, Tarmo
4
2014
Trace-based coinductive operational semantics for While. Big-step and small-step, relational and functional styles. Zbl 1252.68056
Nakata, Keiko; Uustalu, Tarmo
4
2009
A compositional natural semantics and Hoare logic for low-level languages. Zbl 1273.68215
Saabas, Ando; Uustalu, Tarmo
4
2006
Type systems equivalent to data-flow analyses for imperative languages. Zbl 1153.68351
Laud, Peeter; Uustalu, Tarmo; Vene, Varmo
4
2006
Functional programming with apomorphisms (corecursion). Zbl 0963.68028
Vene, Varmo; Uustalu, Tarmo
4
1998
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68305
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
3
2015
Update monads: cointerpreting directed containers. Zbl 1359.68049
Ahman, Danel; Uustalu, Tarmo
3
2014
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
3
2012
Monadic augment and generalised short cut fusion. Zbl 1302.68079
Ghani, Neil; Johann, Patricia; Uustalu, Tarmo; Vene, Varmo
3
2005
Normalization by evaluation for \(\lambda ^{\rightarrow 2}\). Zbl 1122.68393
Altenkirch, Thorsten; Uustalu, Tarmo
3
2004
Substitution in non-wellfounded syntax with variable binding. Zbl 1270.68089
Matthes, Ralph; Uustalu, Tarmo
3
2003
Generalized iteration and coiteration for higher-order nested datatypes. Zbl 1029.68097
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo
3
2003
Least and greatest fixed points in intuitionistic natural deduction. Zbl 0984.68136
Uustalu, Tarmo; Vene, Varmo
3
2002
Container combinatorics: monads and Lax monoidal functors. Zbl 06839854
Uustalu, Tarmo
2
2017
A divertimento on MonadPlus and nondeterminism. Zbl 1355.68041
Uustalu, Tarmo
2
2016
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1448.68281
Nakata, Keiko; Uustalu, Tarmo
2
2015
Proof optimization for partial redundancy elimination. Zbl 1187.68167
Saabas, Ando; Uustalu, Tarmo
2
2009
Build, augment and destroy, universally. Zbl 1116.68490
Ghani, Neil; Uustalu, Tarmo; Vene, Varmo
2
2004
Formalizing restriction categories. Zbl 1451.68338
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
1
2017
Relative monads formalised. Zbl 1451.68330
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
1
2014
Coalgebraic update lenses. Zbl 1337.68084
Ahman, Danel; Uustalu, Tarmo
1
2014
Certified CYK parsing of context-free languages. Zbl 1371.68137
Firsov, Denis; Uustalu, Tarmo
1
2014
Certified parsing of regular languages. Zbl 1303.68077
Firsov, Denis; Uustalu, Tarmo
1
2013
When is a container a comonad? Zbl 1338.68171
Ahman, Danel; Chapman, James; Uustalu, Tarmo
1
2012
The recursion scheme from the cofree recursive comonad. Zbl 1291.68149
Uustalu, Tarmo; Vene, Varmo
1
2011
The essence of dataflow programming. Zbl 1156.68378
Uustalu, Tarmo; Vene, Varmo
1
2006
Recursive coalgebras from comonads. Zbl 1271.18005
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
1
2004
Container combinatorics: monads and Lax monoidal functors. Zbl 06839854
Uustalu, Tarmo
2
2017
Formalizing restriction categories. Zbl 1451.68338
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
1
2017
A divertimento on MonadPlus and nondeterminism. Zbl 1355.68041
Uustalu, Tarmo
2
2016
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
4
2015
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68305
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
3
2015
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1448.68281
Nakata, Keiko; Uustalu, Tarmo
2
2015
When is a container a comonad? Zbl 1338.68172
Ahman, Danel; Chapman, James; Uustalu, Tarmo
4
2014
Update monads: cointerpreting directed containers. Zbl 1359.68049
Ahman, Danel; Uustalu, Tarmo
3
2014
Relative monads formalised. Zbl 1451.68330
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
1
2014
Coalgebraic update lenses. Zbl 1337.68084
Ahman, Danel; Uustalu, Tarmo
1
2014
Certified CYK parsing of context-free languages. Zbl 1371.68137
Firsov, Denis; Uustalu, Tarmo
1
2014
Certified parsing of regular languages. Zbl 1303.68077
Firsov, Denis; Uustalu, Tarmo
1
2013
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
3
2012
When is a container a comonad? Zbl 1338.68171
Ahman, Danel; Chapman, James; Uustalu, Tarmo
1
2012
The recursion scheme from the cofree recursive comonad. Zbl 1291.68149
Uustalu, Tarmo; Vene, Varmo
1
2011
Monads need not be endofunctors. Zbl 1284.18010
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
12
2010
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1260.68111
Nakata, Keiko; Uustalu, Tarmo
5
2010
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents. Zbl 1260.03105
Pinto, Luís; Uustalu, Tarmo
10
2009
Corecursive algebras: a study of general structured corecursion. Zbl 1266.68083
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
7
2009
Trace-based coinductive operational semantics for While. Big-step and small-step, relational and functional styles. Zbl 1252.68056
Nakata, Keiko; Uustalu, Tarmo
4
2009
Proof optimization for partial redundancy elimination. Zbl 1187.68167
Saabas, Ando; Uustalu, Tarmo
2
2009
Comonadic notions of computation. Zbl 1279.68088
Uustalu, Tarmo; Vene, Varmo
11
2008
Program and proof optimizations with type systems. Zbl 1151.68008
Saabas, Ando; Uustalu, Tarmo
5
2008
A compositional natural semantics and Hoare logic for low-level languages. Zbl 1111.68071
Saabas, Ando; Uustalu, Tarmo
5
2007
Recursive coalgebras from comonads. Zbl 1110.68068
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
6
2006
Explicit substitutions and higher-order syntax. Zbl 1105.68021
Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto
5
2006
A compositional natural semantics and Hoare logic for low-level languages. Zbl 1273.68215
Saabas, Ando; Uustalu, Tarmo
4
2006
Type systems equivalent to data-flow analyses for imperative languages. Zbl 1153.68351
Laud, Peeter; Uustalu, Tarmo; Vene, Varmo
4
2006
The essence of dataflow programming. Zbl 1156.68378
Uustalu, Tarmo; Vene, Varmo
1
2006
Iteration and coiteration schemes for higher-order and nested datatypes. Zbl 1070.68093
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo
13
2005
Monadic augment and generalised short cut fusion. Zbl 1302.68079
Ghani, Neil; Johann, Patricia; Uustalu, Tarmo; Vene, Varmo
3
2005
Type-based termination of recursive definitions. Zbl 1054.68027
Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T.
18
2004
Coproducts of ideal monads. Zbl 1072.18006
Ghani, Neil; Uustalu, Tarmo
9
2004
Substitution in non-wellfounded syntax with variable binding. Zbl 1071.68063
Matthes, Ralph; Uustalu, Tarmo
9
2004
Normalization by evaluation for \(\lambda ^{\rightarrow 2}\). Zbl 1122.68393
Altenkirch, Thorsten; Uustalu, Tarmo
3
2004
Build, augment and destroy, universally. Zbl 1116.68490
Ghani, Neil; Uustalu, Tarmo; Vene, Varmo
2
2004
Recursive coalgebras from comonads. Zbl 1271.18005
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
1
2004
Generalizing substitution. Zbl 1042.18003
Uustalu, Tarmo
15
2003
Substitution in non-wellfounded syntax with variable binding. Zbl 1270.68089
Matthes, Ralph; Uustalu, Tarmo
3
2003
Generalized iteration and coiteration for higher-order nested datatypes. Zbl 1029.68097
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo
3
2003
Least and greatest fixed points in intuitionistic natural deduction. Zbl 0984.68136
Uustalu, Tarmo; Vene, Varmo
3
2002
Recursion schemes from comonads. Zbl 0994.68018
Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto
8
2001
Primitive (co)recursion and course-of-value (co) iteration, categorically. Zbl 0935.68011
Uustalu, Tarmo; Vene, Varmo
15
1999
Mendler-style inductive types, categorically. Zbl 0937.68029
Uustalu, Tarmo; Vene, Varmo
6
1999
Functional programming with apomorphisms (corecursion). Zbl 0963.68028
Vene, Varmo; Uustalu, Tarmo
4
1998
all top 5

Cited by 188 Authors

19 Uustalu, Tarmo
12 Milius, Stefan
9 Abel, Andreas M.
9 Adámek, Jiří
7 Goncharov, Sergeĭ Savost’yanovich
7 Velebil, Jiří
6 Ghani, Neil
6 Matthes, Ralph
6 Schröder, Lutz
5 Ahrens, Benedikt
5 Rauch, Christoph
4 Altenkirch, Thorsten
4 Capretta, Venanzio
4 Fiore, Marcelo P.
4 Jacobs, Bart
4 Johann, Patricia
4 Piróg, Maciej
4 Vene, Varmo
3 Blanqui, Frédéric
3 Gibbons, Jeremy
3 Hasuo, Ichiro
3 Saabas, Ando
3 Staton, Sam
2 Ahman, Danel
2 Berger, Ulrich
2 Beringer, Lennart
2 Bertot, Yves
2 Bove, Ana
2 Chaudhuri, Kaustuv
2 Czajka, Łukasz
2 Dagnino, Francesco
2 El-Zawawy, Mohamed A.
2 Galmiche, Didier
2 Hamana, Makoto
2 Hinze, Ralf
2 Hutton, Graham
2 Hyland, J. Martin E.
2 Jaskelioff, Mauro
2 Katsumata, Shin-ya
2 Komendantskaya, Ekaterina
2 Kozen, Dexter C.
2 Lima, Leonardo B.
2 Méry, Daniel
2 Miranda Perea, Favio Ezequiel
2 Mörtberg, Anders
2 Orchard, Dominic A.
2 Pientka, Brigitte
2 Reis, Giselle
2 Schäfer, Steven
2 Silva, Alexandra
2 Veltri, Niccolò
2 Wu, Nicolas
1 Abou-Saleh, Faris
1 Abramsky, Samson
1 Adelsberger, Stephan
1 Affeldt, Reynald
1 Ahn, Ki Yung
1 Allais, Guillaume
1 Ancona, Davide
1 Andrianopoulos, Jim
1 Asada, Kazuyuki
1 Atkey, Robert
1 Avron, Arnon
1 Bacci, Giorgio
1 Bacelar Almeida, José
1 Bach Poulsen, Casper
1 Backes, Julian
1 Bartels, Falk
1 Barthe, Gilles
1 Benton, Nick
1 Brown, Chad Edward
1 Bubel, Richard
1 Chapman, James T. E.
1 Chifflier, Pierre
1 Clarke, Bryce
1 Clarke, Dave
1 Coquand, Thierry
1 Dal Lago, Ugo
1 Danielsson, Nils Anders
1 de Boer, Frank S.
1 De Nicola, Rocco
1 De Queiroz, Ruy José Guerra Barretto
1 Devesas Campos, Marco
1 Din, Crystal Chang
1 Dyckhoff, Roy
1 Eades, Harley III
1 Feltey, Daniel
1 Felty, Amy P.
1 Fetscher, Burke
1 Findler, Robert Bruce
1 Firsov, Denis
1 Fong, Brendan
1 Gabbrielli, Maurizio
1 Gambino, Nicola
1 Glesner, Sabine
1 Gorla, Daniele
1 Göthel, Thomas
1 Goubault-Larrecq, Jean
1 Grattage, Jonathan
1 Grégoire, Benjamin
...and 88 more Authors

Citations by Year