Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Automatically generating the dynamic semantics of gradually typed languages
Gradual Typing for Functional Languages
From Rewriting Logic, to Programming Language Semantics, to Program Verification
Computational Semantics with Functional Programming
Formal semantics and interpreters in a principles of programming languages course
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Example-directed synthesis: a type-theoretic interpretation
Towards a mathematical operational semantics
C and tcc: a language and compiler for dynamic code generation
Typed syntactic meta-programming
Analysis and Optimization of Engines for Dynamically Typed Languages
The Semantics of the C Programming Language
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Mechanized semantics for the Clight subset of the C language
The Origins of Structural Operational Semantics
A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages
Tagless staged interpreters for typed languages
Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus
K-Java: A Complete Semantics of Java
Design and evaluation of gradual typing for python
A Tested Semantics for the Python Programming Language
Robust Lexical Features for Improved Neural Network Named-Entity Recognition
types , abstraction and parametric polymorphism .
Counting the Nouns: Simple Structural Cues to Verb Meaning
Bayesian Robust Attributed Graph Clustering: Joint Learning of Partial Anomalies and Group Structure
Turning telecommunications call details to churn prediction: a data mining approach