Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: String diagrams for free monads (functional pearl)
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Programming with Algebraic Effects and Handlers
The essence of functional programming
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
Towards a mathematical operational semantics
Functional reactive programming, continued
Feature Diagrams and Logics: There and Back Again
Desugaring Haskell's do-notation into applicative operations
Boomerang: resourceful lenses for string data
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
Functional Programming
Example-directed synthesis: a type-theoretic interpretation
Dependently typed programming in Agda
Tagless staged interpreters for typed languages
A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions
Foundations for structured programming with GADTs
Lazy evaluation and delimited control
Quantitative Monadic Second-Order Logic
Gradual Typing for Functional Languages
Views: a way for pattern matching to cohabit with data abstraction
Improving bug triage with bug tossing graphs
Nevus comedonicus
Applying Google Maps and Google Street View in criminological research
Does Gamification Work? -- A Literature Review of Empirical Studies on Gamification