BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × The Netherlands
2 × Cyprus
2 × Estonia
2 × Japan
2 × Poland
3 × USA
Collaborated with:
D.Ahman T.Altenkirch A.Saabas V.Vene J.Chapman K.Nakata G.Barthe M.J.Frade I.Hasuo B.Jacobs A.Abel R.Matthes N.Ghani P.Johann
Talks about:
logic (3) coinduct (2) program (2) monad (2) type (2) tree (2) endofunctor (1) effortless (1) generalis (1) translat (1)

Person: Tarmo Uustalu

DBLP DBLP: Uustalu:Tarmo

Facilitated 2 volumes:

ICFP 2013Ed
AFP 2004Ed

Contributed to:

FLOPS 20122012
FOSSACS 20122012
ESOP 20102010
FOSSACS 20102010
PEPM 20092009
PEPM 20082008
ICALP 20072007
CEFP 20052005
ICFP 20052005
FLOPS 20042004
FoSSaCS 20032003
PEPM 20022002
ECOOP 19921992
BX 20172017

Wrote 14 papers:

FLOPS-2012-Uustalu #performance
Explicit Binds: Effortless Efficiency with and without Trees (TU), pp. 317–331.
FoSSaCS-2012-AhmanCU #monad #question
When Is a Container a Comonad? (DA, JC, TU), pp. 74–88.
ESOP-2010-NakataU #hoare #induction #logic #semantics
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.
FoSSaCS-2010-AltenkirchCU #monad
Monads Need Not Be Endofunctors (TA, JC, TU), pp. 297–311.
PEPM-2009-FradeSU #analysis #bidirectional #data flow
Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
PEPM-2008-SaabasU #optimisation #proving
Proof optimization for partial redundancy elimination (AS, TU), pp. 91–101.
ICALP-2007-HasuoJU #category theory
Categorical Views on Computations on Trees (IH, BJ, TU), pp. 619–630.
CEFP-2005-UustaluV #data flow #programming
The Essence of Dataflow Programming (TU, VV), pp. 135–167.
ICFP-2005-GhaniJUV #monad
Monadic augment and generalised short cut fusion (NG, PJ, TU, VV), pp. 294–305.
FLOPS-2004-AltenkirchU #evaluation #normalisation
Normalization by Evaluation for λ→2 (TA, TU), pp. 260–275.
FoSSaCS-2003-AbelMU #data type #higher-order
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.
PEPM-2002-BartheU #continuation #induction
CPS translating inductive and coinductive types (GB, TU), pp. 131–142.
ECOOP-1992-Uustalu #approach #logic programming #object-oriented #paradigm
Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach (TU), pp. 98–113.
Taking Updates Seriously (DA, TU), pp. 59–73.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.