×
Compute Distance To:
Author ID: uustalu.tarmo Recent zbMATH articles by "Uustalu, Tarmo"
Published as: Uustalu, Tarmo; Uustalu, T.
Homepage: http://cs.ioc.ee/~tarmo/
External Links: MGP · ORCID · dblp · GND

Publications by Year

Citations contained in zbMATH Open

54 Publications have been cited 269 times in 183 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
Primitive (co)recursion and course-of-value (co) iteration, categorically. Zbl 0935.68011
Uustalu, Tarmo; Vene, Varmo
16
1999
Iteration and coiteration schemes for higher-order and nested datatypes. Zbl 1070.68093
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo
16
2005
Generalizing substitution. Zbl 1042.18003
Uustalu, Tarmo
15
2003
Monads need not be endofunctors. Zbl 1284.18010
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
14
2010
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
12
2015
Comonadic notions of computation. Zbl 1279.68088
Uustalu, Tarmo; Vene, Varmo
12
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
Substitution in non-wellfounded syntax with variable binding. Zbl 1071.68063
Matthes, Ralph; Uustalu, Tarmo
10
2004
Coproducts of ideal monads. Zbl 1072.18006
Ghani, Neil; Uustalu, Tarmo
9
2004
Mendler-style inductive types, categorically. Zbl 0937.68029
Uustalu, Tarmo; Vene, Varmo
8
1999
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
Combining effects and coeffects via grading. Zbl 1361.68037
Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, Tarmo
6
2016
Explicit substitutions and higher-order syntax. Zbl 1105.68021
Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto
6
2006
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1260.68111
Nakata, Keiko; Uustalu, Tarmo
5
2010
A compositional natural semantics and Hoare logic for low-level languages. Zbl 1111.68071
Saabas, Ando; Uustalu, Tarmo
5
2007
Program and proof optimizations with type systems. Zbl 1151.68008
Saabas, Ando; Uustalu, Tarmo
5
2008
When is a container a comonad? Zbl 1338.68172
Ahman, Danel; Chapman, James; Uustalu, Tarmo
5
2014
Functional programming with apomorphisms (corecursion). Zbl 0963.68028
Vene, Varmo; Uustalu, Tarmo
4
1998
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
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
4
2012
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 divertimento on MonadPlus and nondeterminism. Zbl 1355.68041
Uustalu, Tarmo
3
2016
Update monads: cointerpreting directed containers. Zbl 1359.68049
Ahman, Danel; Uustalu, Tarmo
3
2014
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
Monadic augment and generalised short cut fusion. Zbl 1302.68079
Ghani, Neil; Johann, Patricia; Uustalu, Tarmo; Vene, Varmo
3
2005
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1448.68281
Nakata, Keiko; Uustalu, Tarmo
3
2015
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68305
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
3
2015
Build, augment and destroy, universally. Zbl 1116.68490
Ghani, Neil; Uustalu, Tarmo; Vene, Varmo
3
2004
Normalization by evaluation for \(\lambda ^{\rightarrow 2}\). Zbl 1122.68393
Altenkirch, Thorsten; Uustalu, Tarmo
3
2004
Coherence for skew-monoidal categories. Zbl 1464.18018
Uustalu, Tarmo
3
2014
Least and greatest fixed points in intuitionistic natural deduction. Zbl 0984.68136
Uustalu, Tarmo; Vene, Varmo
3
2002
Codensity lifting of monads and its dual. Zbl 1398.18005
Katsumata, Shin-Ya; Sato, Tetsuya; Uustalu, Tarmo
2
2018
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
2
2019
Container combinatorics: monads and Lax monoidal functors. Zbl 06839854
Uustalu, Tarmo
2
2017
The recursion scheme from the cofree recursive comonad. Zbl 1291.68149
Uustalu, Tarmo; Vene, Varmo
2
2011
Relative monads formalised. Zbl 1451.68330
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
2
2014
Recursive coalgebras from comonads. Zbl 1271.18005
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo
1
2004
The essence of dataflow programming. Zbl 1156.68378
Uustalu, Tarmo; Vene, Varmo
1
2006
Coalgebraic update lenses. Zbl 1337.68084
Ahman, Danel; Uustalu, Tarmo
1
2014
A coalgebraic view of bar recursion and bar induction. Zbl 1474.03105
Capretta, Venanzio; Uustalu, Tarmo
1
2016
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
Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction. Zbl 1455.68100
Nakata, Keiko; Uustalu, Tarmo
1
2010
Proof optimization for partial redundancy elimination. Zbl 1187.68167
Saabas, Ando; Uustalu, Tarmo
1
2009
Finiteness and rational sequences, constructively. Zbl 1418.68069
Uustalu, Tarmo; Veltri, Niccolò
1
2017
The delay monad and restriction categories. Zbl 1444.18010
Uustalu, Tarmo; Veltri, Niccolò
1
2017
Formalizing restriction categories. Zbl 1451.68338
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
1
2017
Proof theory of partially normal skew monoidal categories. Zbl 1477.18041
Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam
1
2021
Proof theory of partially normal skew monoidal categories. Zbl 1477.18041
Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam
1
2021
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
2
2019
Codensity lifting of monads and its dual. Zbl 1398.18005
Katsumata, Shin-Ya; Sato, Tetsuya; Uustalu, Tarmo
2
2018
Container combinatorics: monads and Lax monoidal functors. Zbl 06839854
Uustalu, Tarmo
2
2017
Finiteness and rational sequences, constructively. Zbl 1418.68069
Uustalu, Tarmo; Veltri, Niccolò
1
2017
The delay monad and restriction categories. Zbl 1444.18010
Uustalu, Tarmo; Veltri, Niccolò
1
2017
Formalizing restriction categories. Zbl 1451.68338
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
1
2017
Combining effects and coeffects via grading. Zbl 1361.68037
Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, Tarmo
6
2016
A divertimento on MonadPlus and nondeterminism. Zbl 1355.68041
Uustalu, Tarmo
3
2016
A coalgebraic view of bar recursion and bar induction. Zbl 1474.03105
Capretta, Venanzio; Uustalu, Tarmo
1
2016
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
12
2015
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1448.68281
Nakata, Keiko; Uustalu, Tarmo
3
2015
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68305
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
3
2015
When is a container a comonad? Zbl 1338.68172
Ahman, Danel; Chapman, James; Uustalu, Tarmo
5
2014
Update monads: cointerpreting directed containers. Zbl 1359.68049
Ahman, Danel; Uustalu, Tarmo
3
2014
Coherence for skew-monoidal categories. Zbl 1464.18018
Uustalu, Tarmo
3
2014
Relative monads formalised. Zbl 1451.68330
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
2
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
4
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
2
2011
Monads need not be endofunctors. Zbl 1284.18010
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
14
2010
A Hoare logic for the coinductive trace-based big-step semantics of While. Zbl 1260.68111
Nakata, Keiko; Uustalu, Tarmo
5
2010
Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction. Zbl 1455.68100
Nakata, Keiko; Uustalu, Tarmo
1
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
1
2009
Comonadic notions of computation. Zbl 1279.68088
Uustalu, Tarmo; Vene, Varmo
12
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
6
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
16
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
Substitution in non-wellfounded syntax with variable binding. Zbl 1071.68063
Matthes, Ralph; Uustalu, Tarmo
10
2004
Coproducts of ideal monads. Zbl 1072.18006
Ghani, Neil; Uustalu, Tarmo
9
2004
Build, augment and destroy, universally. Zbl 1116.68490
Ghani, Neil; Uustalu, Tarmo; Vene, Varmo
3
2004
Normalization by evaluation for \(\lambda ^{\rightarrow 2}\). Zbl 1122.68393
Altenkirch, Thorsten; Uustalu, Tarmo
3
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
16
1999
Mendler-style inductive types, categorically. Zbl 0937.68029
Uustalu, Tarmo; Vene, Varmo
8
1999
Functional programming with apomorphisms (corecursion). Zbl 0963.68028
Vene, Varmo; Uustalu, Tarmo
4
1998
all top 5

Cited by 217 Authors

25 Uustalu, Tarmo
12 Milius, Stefan
9 Abel, Andreas M.
9 Adámek, Jiří
8 Goncharov, Sergeĭ Savost’yanovich
8 Veltri, Niccolò
7 Schröder, Lutz
7 Velebil, Jiří
6 Ahrens, Benedikt
6 Ghani, Neil
6 Matthes, Ralph
6 Orchard, Dominic A.
6 Rauch, Christoph
5 Johann, Patricia
4 Altenkirch, Thorsten
4 Capretta, Venanzio
4 Fiore, Marcelo P.
4 Jacobs, Bart
4 Katsumata, Shin-ya
4 Piróg, Maciej
4 Staton, Sam
4 Vene, Varmo
4 Zeilberger, Noam
3 Ahman, Danel
3 Blanqui, Frédéric
3 Dagnino, Francesco
3 Gibbons, Jeremy
3 Hasuo, Ichiro
3 Saabas, Ando
3 Stump, Aaron
2 Allais, Guillaume
2 Atkey, Robert
2 Berger, Ulrich
2 Beringer, Lennart
2 Bove, Ana
2 Chapman, James T. E.
2 Chaudhuri, Kaustuv
2 Czajka, Łukasz
2 Dal Lago, Ugo
2 Eades, Harley III
2 El-Zawawy, Mohamed A.
2 Firsov, Denis
2 Galmiche, Didier
2 Hamana, Makoto
2 Hinze, Ralf
2 Hirschowitz, André
2 Hutton, Graham
2 Hyland, J. Martin E.
2 Jaskelioff, Mauro
2 Jenkins, Christopher
2 Kozen, Dexter C.
2 Lima, Leonardo B.
2 Maggesi, Marco
2 McBride, Conor Thomas
2 Méry, Daniel
2 Miranda Perea, Favio Ezequiel
2 Mörtberg, Anders
2 Pientka, Brigitte
2 Reis, Giselle
2 Rennela, Mathys
2 Rivas, Exequiel
2 Sato, Tetsuya
2 Schäfer, Steven
2 Silva, Alexandra
2 Torrini, Paolo
2 van der Weide, Niels
2 Wu, Nicolas
1 Abou-Saleh, Faris
1 Abramsky, Samson
1 Adelsberger, Stephan
1 Affeldt, Reynald
1 Ahn, Ki Yung
1 Ancona, Davide
1 Andrianopoulos, Jim
1 Asada, Kazuyuki
1 Avron, Arnon
1 Bacci, Giorgio
1 Bacelar Almeida, José
1 Bach Poulsen, Casper
1 Backes, Julian
1 Barthe, Gilles
1 Benton, Nick
1 Bertot, Yves
1 Brown, Chad Edward
1 Bubel, Richard
1 Chifflier, Pierre
1 Clarke, Bryce
1 Clarke, Dave
1 Coquand, Thierry
1 Cruttwell, Geoffrey
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 Diehl, Larry
1 Din, Crystal Chang
1 Dyckhoff, Roy
1 Eades III, Harley
1 Feltey, Daniel
...and 117 more Authors

Citations by Year