Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Monads for functional programming
Computational lambda-calculus and monads
Monadic Parsing in Haskell
Dijkstra monads for free
Practical probabilistic programming with monads
Functional Programming
CoCaml: Functional Programming with Regular Coinductive Types
Extensible effects: an alternative to monad transformers
String diagrams for free monads (functional pearl)
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
The category theoretic understanding of universal algebra: Lawvere theories and monads
Conception, evolution, and application of functional programming languages
A monad for deterministic parallelism
Programming and reasoning with algebraic effects and dependent types
Building interpreters by composing monads
The essence of functional programming
Explorer Practical probabilistic programming with monads
Idris, a general-purpose dependently typed programming language: Design and implementation
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Dependently typed programming in Agda
Parsec: Direct Style Monadic Parser Combinators For The Real World
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.
Deep Dual Learning for Semantic Image Segmentation
SOFTWARE QUALITY ASSURANCE FOR MATHEMATICAL MODELING SYSTEMS
A bridgeless PFC converter for on-board battery charger
The Security Impact of HTTPS Interception.