Ralph Matthes

Artificial Intelligence · 2003–2016

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

Subfields

• Artificial Intelligence — 17 citations into it; #17,104 of 35,345 by trust here, #21,316 by citations
• Computational Theory and Mathematics — 8 citations into it; #5,540 of 12,182 by trust here, #5,239 by citations

Whom Ralph Matthes trusts overall

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

1. Richard S. Bird
2. Thorsten Altenkirch
3. Andreas Abel
4. Ross A. Paterson
5. Tarmo Uustalu
6. Marcelo P. Fiore
7. Lambert G. L. T. Meertens
8. André Hirschowitz
9. Marino Miculan

Who trusts Ralph Matthes overall

1. Benedikt Ahrens
2. André Hirschowitz
3. Benedikt Ahrens
4. Marco Maggesi

Papers from Ralph Matthes's perspective

Ordered by how strongly the researchers Ralph Matthes 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. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
4. Substitution: A Formal Methods Case Study Using Monads and Transformations
5. Inductive Types and Type Constraints in the Second-Order lambda Calculus
6. Second-Order and Dependently-Sorted Abstract Syntax
7. A framework for typed HOAS and semantics
8. Locus Solum: From the rules of logic to the logic of rules (Mathematical Structures in Computer Science)
9. Nested Datatypes
10. Modules over monads and initial semantics

Their papers

• Heterogeneous substitution systems revisited (2016) — 218 citations
• Substitution in Non-wellfounded Syntax with Variable Binding (2003) — 53 citations
• Iteration and coiteration schemes for higher-order and nested datatypes (2005) — 67 citations
• Map fusion for nested datatypes in intensional type theory (2011) — 5 citations