Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: fusion for free - efficient algebraic effect handlers .
Extensible effects: an alternative to monad transformers
An efficient method of computing static single assignment form
A study of source-level compiler algorithms for automatic construction of pre-execution code
The tensor algebra compiler
Alternate Control-Flow Analyses for Defunctionalization in the MLton Compiler
BURG: fast optimal instruction selection and tree parsing
The algebraic specification of abstract data types
Dijkstra monads for free
A verified compiler for an impure functional language
Falcon: A Graph Manipulation Language for Heterogeneous Systems
Example-directed synthesis: a type-theoretic interpretation
an introduction to the construction and verification of alphard programs ( abstract ) .
Dataflow and Type-based Formulations for Reference Immutability
Array regrouping and structure splitting using whole-program reference affinity
A certified type-preserving compiler from lambda calculus to assembly language
Computational lambda-calculus and monads
Analysis and Optimization of Engines for Dynamically Typed Languages
LLVM: An Infrastructure for Multi-Stage Optimization
the syntax and semantics of the proposed international algebraic language of the zurich acm - gamm conference .
An incremental algorithm for maintaining the dominator tree of a reducible flowgraph
Joint Channel Estimation and Data Detection in MIMO-OFDM Systems: A Sparse Bayesian Learning Approach
Abstracting Control
Wasserstein Barycenter Model Ensembling
Phosphate-a poison for humans?
big data on real - world applications . chapter 3 : introduction to big data in education and its contribution to the quality improvement processes .