André Hirschowitz

Artificial Intelligence · 2006–2012

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

Subfields

• Artificial Intelligence — 6 citations into it; #15,017 of 35,345 by trust here, #25,040 by citations
• Computational Theory and Mathematics — 5 citations into it

Whom André Hirschowitz trusts overall

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

1. Michael Ching
2. Richard S. Bird
3. Marcelo P. Fiore
4. Marco Maggesi
5. Thorsten Altenkirch
6. Ross A. Paterson
7. Ralph Matthes
8. Gordon D. Plotkin
9. Tarmo Uustalu

Who trusts André Hirschowitz overall

1. Benedikt Ahrens
2. Marco Maggesi
3. Benedikt Ahrens
4. Vladimir Voevodsky
5. Ralph Matthes

Papers from André Hirschowitz's perspective

Ordered by how strongly the researchers André Hirschowitz 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. Categories for the Working Mathematician
4. Second-Order and Dependently-Sorted Abstract Syntax
5. Modules over monads and initial semantics
6. Modules over Monads and Linearity
7. Abstract syntax and variable binding
8. Substitution: A Formal Methods Case Study Using Monads and Transformations
9. A framework for typed HOAS and semantics
10. Purely functional data structures

Their papers

• Initial Semantics for Strengthened Signatures (2012) — 9 citations
• Modules over monads and initial semantics (2010) — 49 citations
• Modules over Monads and Linearity (2006) — 43 citations