Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Differentiable Functional Program Interpreters
Programming with a Differentiable Forth Interpreter
Computational Semantics with Functional Programming
DDRprog: A CLEVR Differentiable Dynamic Reasoning Programmer
Gradual Typing for Functional Languages
End-to-end Differentiable Proving
Abstract semantic differencing for numerical programs
On Automatic Differentiation
Approaches to Interpreter Composition
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
Identifying Syntactic Differences Between Two Programs
Introducing the PilGRIM: a processor for executing lazy functional languages
Tagless staged interpreters for typed languages
Conception, evolution, and application of functional programming languages
Efficient Interpreters and Profilers for Hosted Dynamic Languages
Formal semantics and interpreters in a principles of programming languages course
Interactive programs in dependent type theory
Differential symbolic execution
Reasoning about programs in continuation-passing style
Self-optimizing AST interpreters
Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation
Unsupervised Learning of Finite Mixture Models
Back to the Future - Part 1. The medico-legal autopsy from ancient civilization to the post-genomic era
High-Breakdown Enhancement-Mode AlGaN/GaN HEMTs with Integrated Slant Field-Plate
High impedance holographic metasurfaces for conformal and high gain antenna applications
Simple statistical gradient-following algorithms for connectionist reinforcement learning