Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Code generation via higher-order rewrite systems
Code Generation from Specifications in Higher-Order Logic
A certified type-preserving compiler from lambda calculus to assembly language
Higher-order automated theorem proving
C and tcc: a language and compiler for dynamic code generation
Compilation of Term Rewriting Systems
Toward automatic program synthesis
C: a language for high-level, efficient, and machine-independent dynamic code generation
DIABLO: a reliable, retargetable and extensible link-time rewriting framework
Recursive Program Synthesis
Abstract Syntax Networks for Code Generation and Semantic Parsing
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
From Rewriting Logic, to Programming Language Semantics, to Program Verification
A Transformation System for Developing Recursive Programs
A type system for higher-order modules
Advanced Compiler Design and Implementation
code2seq: Generating Sequences from Structured Representations of Code
Higher-order abstract syntax
Code Generation Techniques
Reverse engineering COBOL via formal methods
Networks for Code Generation and Semantic Parsing
Sequence-discriminative training of recurrent neural networks
Theory of Curriculum Learning, with Convex Loss Functions
Signal classification through multifractal analysis and complex domain neural networks
Imperative functional programming
Runge-Kutta discontinuous Galerkin method using WENO limiters II: Unstructured meshes