dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tarmo Uustalu (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Ghani, Tarmo Uustalu, Makoto Hamana: Explicit substitutions and higher-order syntax. Higher-Order and Symbolic Computation 19(2-3): 263-282 (2006)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene: Monadic augment and generalised short cut fusion. ICFP 2005: 294-305
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Ghani, Tarmo Uustalu, Varmo Vene: Build, Augment and Destroy, Universally. APLAS 2004: 327-347
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Ghani, Tarmo Uustalu, Varmo Vene: Generalizing the AUGMENT combinator. Trends in Functional Programming 2004: 65-78
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Ghani, Tarmo Uustalu: Coproducts of Ideal Monads. ITA 38(4): 321-342 (2004)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Ghani, Tarmo Uustalu: Explicit substitutions and higher-order syntax. MERLIN 2003

Selection of 6 from 61 records - Tarmo Uustalu has 25 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page