Gordon D. Plotkin
J. Log. Algebraic Methods Program. · 1999–2009
A researcher in the Science corpus: 8 papers; trusts 1 researcher and is trusted by 33 researchers here, as inferred from the citation graph.
Whom Gordon D. Plotkin trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Gordon D. Plotkin overall
- Ian David Bede Stark
- Emanuel Kitzelmann
- Burkhart Wolff
- Laurent Hascoët
- Ohad Kammar
- Rafael Heitor Bordini
- Gerson Zaverucha
- Marie-Claude Gaudel
- Yu Zhang
- Jing Zhang
Papers from Gordon D. Plotkin's perspective
Ordered by how strongly the researchers Gordon D. Plotkin trusts endorse each paper. Same corpus, a different order for every researcher.
- BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
- Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
- A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
- Algebraic Operations and Generic Effects (Applied Categorical Structures)
- The formal theory of monads II
- Categories for the Working Mathematician
- Topology of Fibre Bundles
- The Classical Groups
- Higher-Dimensional Algebra VI: Lie 2-Algebras (Theory and Applications of Categories)
- Experiences of developing and deploying a context-aware tourist guide: the GUIDE project (ACM/IEEE International Conference on Mobile Computing and Networking)
Their papers
- Notions of Computation Determine Monads (2002) — 360 citations
- Handlers of Algebraic Effects (2009) — 264 citations
- The origins of structural operational semantics (2004) — 397 citations
- A Note on Inductive Generalization (2008) — 608 citations
- A structural approach to operational semantics (2004) — 2,653 citations
- Algebraic Operations and Generic Effects (2003) — 322 citations
- Proof, language, and interaction: essays in honour of Robin Milner (2000) — 376 citations
- Abstract syntax and variable binding (1999)