Languages, Theory

by Neil Ghani , Tarmo Uustalu

Active Bibliography

4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
4 Generalizing Substitution – Tarmo Uustalu - 2003
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
24 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
Nordic Journal of Computing 10(2003), 290–312. REWRITING VIA COINSERTERS – Neil Ghani, Christoph Lüth
Abstract Composing Monads Using Coproducts – Christoph Lüth
doi:10.1017/S0960129506005706 Printed in the United Kingdom Iterative algebras at work – Stefan Milius - 2004
209 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
DOI: 10.1051/ita:2003021 SOLVING ALGEBRAIC EQUATIONS USING COALGEBRA – Federico De Marchi, Neil Ghani, Christoph Lüth