Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Programming with Algebraic Effects and Handlers
Monads for functional programming
Desugaring Haskell's do-notation into applicative operations
Scala Actors: Unifying thread-based and event-based programming
Concurrent Haskell
Verifying higher-order programs with the dijkstra monad
Foundations for structured programming with GADTs
Effects and effect inference for a core Java calculus
Verifying haskell programs using constructive type theory
A verified compiler for an impure functional language
A generalization of exceptions and control in ML-like languages
Dependently typed programming with singletons
Lambda-calculus models of programming languages.
Functional reactive programming, continued
Introducing the PilGRIM: a processor for executing lazy functional languages
Explorer Practical probabilistic programming with monads
Parallel Programmability and the Chapel Language
Lazy evaluation and delimited control
Parsec: Direct Style Monadic Parser Combinators For The Real World
Sound Abstraction and Decomposition of Probabilistic Programs
IDRIS ---: systems programming meets full dependent types
High-Intensity Interval Training , Solutions to the Programming Puzzle Part II : Anaerobic Energy , Neuromuscular Load and Practical Applications
Papular Epidermal Nevus with “Skyline” Basal Cell Layer Syndrome – Natural Course: Case Report and Literature Review
iquid silicone rubber ( LSR )-based dry bioelectrodes : The effect of urface micropillar structuring and silver coating on contact mpedance
Her2 Challenge Contest: A Detailed Assessment of Automated Her2 Scoring Algorithms in Whole Slide Images of Breast Cancer Tissues
ML for the Working Programmer