Generalizing Substitution
RAIRO-Theor. Inf. Appl., 37 4 (2003) 315-336
Published online: 2004-01-15
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:
This article has been cited by the following article(s):
604 (2020)
https://doi.org/10.1145/3373718.3394808
Theoretical Aspects of Computing – ICTAC 2020
Sergey Goncharov, Renato Neves and José ProençaLecture Notes in Computer Science, Theoretical Aspects of Computing – ICTAC 2020 12545 262 (2020)
https://doi.org/10.1007/978-3-030-64276-1_14
The parametric continuation monad
PAUL-ANDRÉ MELLIÈSMathematical Structures in Computer Science 27 (5) 651 (2017)
https://doi.org/10.1017/S0960129515000328
Unguarded Recursion on Coinductive Resumptions
Sergey Goncharov, Christoph Rauch and Lutz SchröderElectronic 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ří VelebilTheoretical Computer Science 523 56 (2014)
https://doi.org/10.1016/j.tcs.2013.12.019
Functional and Logic Programming
Tarmo UustaluLecture 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ří VelebilInformation and Computation 206 (8) 966 (2008)
https://doi.org/10.1016/j.ic.2008.05.002
Algebras with parametrized iterativity
Jiří Adámek, Stefan Milius and Jiří VelebilTheoretical 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 and PATRICIA JOHANNJournal of Functional Programming 17 (6) 731 (2007)
https://doi.org/10.1017/S0956796807006314
294 (2005)
https://doi.org/10.1145/1086365.1086403
Iterative Algebras for a Base
Jiří Adámek, Stefan Milius and Jiří VelebilElectronic Notes in Theoretical Computer Science 122 147 (2005)
https://doi.org/10.1016/j.entcs.2004.06.056
Monadic augment and generalised short cut fusion
Neil Ghani, Patricia Johann, Tarmo Uustalu and Varmo VeneACM SIGPLAN Notices 40 (9) 294 (2005)
https://doi.org/10.1145/1090189.1086403
Programming Languages and Systems
Neil Ghani, Tarmo Uustalu and Varmo VeneLecture Notes in Computer Science, Programming Languages and Systems 3302 327 (2004)
https://doi.org/10.1007/978-3-540-30477-7_22
Substitution in non-wellfounded syntax with variable binding
Ralph Matthes and Tarmo UustaluTheoretical Computer Science 327 (1-2) 155 (2004)
https://doi.org/10.1016/j.tcs.2004.07.025