Tarmo Uustalu

Artificial Intelligence · 2003–2010

A researcher in the Science corpus: 3 papers; trusts 2 researchers and is trusted by 5 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 6 citations into it; #16,757 of 35,345 by trust here, #26,682 by citations

Whom Tarmo Uustalu trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Richard S. Bird
2. Thorsten Altenkirch
3. Ross A. Paterson
4. John Hughes
5. Benedikt Ahrens

Who trusts Tarmo Uustalu overall

1. Ralph Matthes
2. Benedikt Ahrens
3. André Hirschowitz
4. Benedikt Ahrens

Papers from Tarmo Uustalu's perspective

Ordered by how strongly the researchers Tarmo Uustalu trusts endorse each paper. Same corpus, a different order for every researcher.

1. de Bruijn notation as a nested datatype
2. Generalised folds for nested datatypes
3. Generalising monads to arrows (Science of Computer Programming)
4. Substitution: A Formal Methods Case Study Using Monads and Transformations
5. A categorical semantics of quantum protocols (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.)
6. Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
7. Skew monoidales, skew warpings and quantum categories (Theory and Applications of Categories)
8. Skew-monoidal categories and bialgebroids
9. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) (QPL)
10. Initiality for Typed Syntax and Semantics

Their papers

• Substitution in Non-wellfounded Syntax with Variable Binding (2003) — 53 citations
• Iteration and coiteration schemes for higher-order and nested datatypes (2005) — 67 citations
• Monads need not be endofunctors (2010) — 169 citations