S. Lindley
Artificial Intelligence · 2006–2013
A researcher in the Science corpus: 3 papers; trusts 3 researchers and is trusted by 2 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 8 citations into it; #26,967 of 35,345 by trust here, #28,481 by citations
Whom S. Lindley trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts S. Lindley overall
Papers from S. Lindley's perspective
Ordered by how strongly the researchers S. Lindley trusts endorse each paper. Same corpus, a different order for every researcher.
- Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
- Algebraic Operations and Generic Effects (Applied Categorical Structures)
- Template meta-programming for Haskell (ACM SIGPLAN Symposium/Workshop on Haskell)
- An Overview of the Scala Programming Language
- Handlers of Algebraic Effects
- CDuce: an XML-centric general-purpose language (ACM SIGPLAN International Conference on Functional Programming)
- Extensional Rewriting with Sums (International Conference on Typed Lambda Calculus and Applications)
- BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
- A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
- Fjording the stream: an architecture for queries over streaming sensor data (Proceedings / International Conference on Data Engineering)
Their papers
- Extensional Rewriting with Sums (2007) — 340 citations
- Handlers in action (2013) — 183 citations
- Links: Web Programming Without Tiers (2006) — 418 citations