Tarmo Uustalu (Institute of Cybernetics)

Identifiers

• name variant Tarmo Uustalu (Institute of Cybernetics) 0.60 · backfill

Papers (2)

1. Monads need not be endofunctors cs.PL · 2014 · author #3
2. A Hoare logic for the coinductive trace-based big-step semantics of While cs.LO · 2014 · author #2

Mentions

• 1412.7148 #3 · backfill · confidence 0.70 Tarmo Uustalu (Institute of Cybernetics)
• 1412.6579 #2 · backfill · confidence 0.70 Tarmo Uustalu (Institute of Cybernetics)

Frequent Coauthors

• James Chapman (Institute of Cybernetics) 1 shared papers
• Keiko Nakata (Institute of Cybernetics) 1 shared papers
• Thosten Altenkirch (University of Nottingham) 1 shared papers