Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Generalizing Substitution

Tarmo Uustalu

RAIRO-Theor. Inf. Appl., 37 4 (2003) 315-336

Published online: 2004-01-15

DOI: https://doi.org/10.1051/ita:2003022

This article has been cited by the following article(s):

Theoretical Aspects of Computing – ICTAC 2020

Sergey Goncharov, Renato Neves and José Proença
Lecture Notes in Computer Science, Theoretical Aspects of Computing – ICTAC 2020 12545 262 (2020)
https://doi.org/10.1007/978-3-030-64276-1_14

Shin-ya Katsumata, Exequiel Rivas and Tarmo Uustalu
604 (2020)
https://doi.org/10.1145/3373718.3394808

The parametric continuation monad

PAUL-ANDRÉ MELLIÈS
Mathematical Structures in Computer Science 27 (5) 651 (2017)
https://doi.org/10.1017/S0960129515000328

A Presentation of Bases for Parametrized Iterativity

Jiří Adámek, Stefan Milius and Jiří Velebil
Theory and Applications of Categories 32 682 (2017)
https://doi.org/10.70930/tac/fm1qswbs

Unguarded Recursion on Coinductive Resumptions

Sergey Goncharov, Christoph Rauch and Lutz Schröder
Electronic Notes in Theoretical Computer Science 319 183 (2015)
https://doi.org/10.1016/j.entcs.2015.12.012

Base modules for parametrized iterativity

Jiří Adámek, Stefan Milius and Jiří Velebil
Theoretical Computer Science 523 56 (2014)
https://doi.org/10.1016/j.tcs.2013.12.019

Functional and Logic Programming

Tarmo Uustalu
Lecture Notes in Computer Science, Functional and Logic Programming 7294 317 (2012)
https://doi.org/10.1007/978-3-642-29822-6_25

Bases for parametrized iterativity

Jiří Adámek, Stefan Milius and Jiří Velebil
Information and Computation 206 (8) 966 (2008)
https://doi.org/10.1016/j.ic.2008.05.002

Monadic augment and generalised short cut fusion

NEIL GHANI and PATRICIA JOHANN
Journal of Functional Programming 17 (6) 731 (2007)
https://doi.org/10.1017/S0956796807006314

Algebras with parametrized iterativity

Jiří Adámek, Stefan Milius and Jiří Velebil
Theoretical Computer Science 388 (1-3) 130 (2007)
https://doi.org/10.1016/j.tcs.2007.06.015

Monadic augment and generalised short cut fusion

Neil Ghani, Patricia Johann, Tarmo Uustalu and Varmo Vene
ACM SIGPLAN Notices 40 (9) 294 (2005)
https://doi.org/10.1145/1090189.1086403

Iterative Algebras for a Base

Jiří Adámek, Stefan Milius and Jiří Velebil
Electronic Notes in Theoretical Computer Science 122 147 (2005)
https://doi.org/10.1016/j.entcs.2004.06.056

Introduction to Coalgebra

Jiří Adámek
Theory and Applications of Categories 14 157 (2005)
https://doi.org/10.70930/tac/oj2bs96h

Neil Ghani, Patricia Johann, Tarmo Uustalu and Varmo Vene
294 (2005)
https://doi.org/10.1145/1086365.1086403

Substitution in non-wellfounded syntax with variable binding

Ralph Matthes and Tarmo Uustalu
Theoretical Computer Science 327 (1-2) 155 (2004)
https://doi.org/10.1016/j.tcs.2004.07.025

Programming Languages and Systems

Neil Ghani, Tarmo Uustalu and Varmo Vene
Lecture Notes in Computer Science, Programming Languages and Systems 3302 327 (2004)
https://doi.org/10.1007/978-3-540-30477-7_22