Marco Maggesi

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,016 of 35,345 by trust here, #25,040 by citations
• Computational Theory and Mathematics — 5 citations into it

Whom Marco Maggesi trusts overall

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

1. Michael Ching
2. André Hirschowitz
3. Richard S. Bird
4. Marcelo P. Fiore
5. Thorsten Altenkirch
6. Ross A. Paterson
7. Ralph Matthes

Who trusts Marco Maggesi overall

1. Benedikt Ahrens
2. André Hirschowitz
3. Benedikt Ahrens

Papers from Marco Maggesi's perspective

Ordered by how strongly the researchers Marco Maggesi 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. Purely functional data structures
10. A framework for typed HOAS and semantics

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