Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: A coinductive monad for prop-bounded recursion
Monads for functional programming
A monad for deterministic parallelism
Monads and Effects
String diagrams for free monads (functional pearl)
Cost-analysis : How do monads and comonads differ ?
Practical probabilistic programming with monads
Modular monad transformers
Transfinite recursion and computation in the iterative conception of set
Building interpreters by composing monads
Idris, a general-purpose dependently typed programming language: Design and implementation
Structural Recursion as a Query Language
Interactive programs in dependent type theory
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
Automatic visualization of recursion trees: a case study on generic programming
Explorer Practical probabilistic programming with monads
A Typed Lambda Calculus of Objects
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
A relationally parametric model of dependent type theory
Extensible effects: an alternative to monad transformers
Notions of Computation as Monoids ( extended version )
The Next Stage of Operational Business Intelligence: Creating New Challenges for Business Process Management
call - by - name , call - by - value and the lambda - calculus .
AUTOMATIC LANE DETECTION IN IMAGE SEQUENCES FOR VISION-BASED NAVIGATION PURPOSES
An annotated review of past papers on attack graphs
Broadband Compact Horn Antennas by Using EPS-ENZ Metamaterial Lens