Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Abstract syntax and variable binding
Higher-order abstract syntax
An Efficient Context-Free Parsing Algorithm (Reprint).
Subject Positions and Derivational Scope Calculation in Minimalist Syntax : A Phase-Based Approach.
Loop Transformations for Restructuring Compilers: The Foundations
Should Syntactic N-grams Contain Names of Syntactic Relations?
Understanding the syntax barrier for novices
Feature models, grammars, and propositional formulas
Efficient Realization of Coordinate Structures in Combinatory Categorial Grammar
Compiler Construction
A Procedure For Quantitatively Comparing The Syntactic Coverage Of English Grammars
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Actions and affordances in syntactic ambiguity resolution
A Compiler for Deterministic, Decomposable Negation Normal Form
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
introduction to combinators and lambda - calculus .
Exploiting Abstract Syntax Trees to Locate Software Defects
Information Structure and the Syntax-Phonology Interface
Structural Ambiguity And Lexical Relations
Yin-yang: concealing the deep embedding of DSLs
Extensible intraprocedural flow analysis at the abstract syntax tree level
Target contrastive pessimistic risk for robust domain adaptation
exact top - k feature selection via l2 , 0 - norm constraint .
Smooth Parametric Surfaces and n-Sided Patches
Real-Time High Resolution 3D Data on the HoloLens
The next 700 programming languages