Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: finally tagless , partially evaluated : tagless staged interpreters for simpler typed languages .
Tagless staged interpreters for typed languages
Formal semantics and interpreters in a principles of programming languages course
Efficient Self-Interpretation in Lambda Calculus
Automatically generating the dynamic semantics of gradually typed languages
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
A Typed Lambda Calculus of Objects
Approaches to Interpreter Composition
Example-directed synthesis: a type-theoretic interpretation
Design of an intermediate representation for query languages
A certified type-preserving compiler from lambda calculus to assembly language
Practical partial evaluation for high-performance dynamic language runtimes
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation
Introducing the PilGRIM: a processor for executing lazy functional languages
The design and implementation of typed scheme
Semantics of Programming Languages
Towards a mathematical operational semantics
A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages
Equality proofs and deferred type errors: a compiler pearl
Computational lambda-calculus and monads
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
Back to the Future - Part 1. The medico-legal autopsy from ancient civilization to the post-genomic era
Efficient differentiation of human embryonic and induced pluripotent stem cells into functional astrocytes.
An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing
Dependent types in practical programming
ERUCA: Efficient DRAM Resource Utilization and Resource Conflict Avoidance for Memory System Parallelism