Nicolas Oury
Artificial Intelligence · 2013
A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 5 citations into it
Whom Nicolas Oury trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Nicolas Oury's perspective
Ordered by how strongly the researchers Nicolas Oury 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)
- Handlers of Algebraic Effects
- Extensional Rewriting with Sums (International Conference on Typed Lambda Calculus and Applications)
- Template meta-programming for Haskell (ACM SIGPLAN Symposium/Workshop on Haskell)
- 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)
- Continuously adaptive continuous queries over streams (ACM SIGMOD Conference)
- On computing correlated aggregates over continual data streams (ACM SIGMOD Conference)
Their papers
- Handlers in action (2013) — 183 citations