Refining Semantics for Multi-stage Programming

Whole-channel inclusion: Splash Conference 2017 (title sample: This is a full archive of academic conference research talks (SPLASH/SLE) presenting technical work in programming languages and software engineering, which are genuine expert technical presentations.; 3 of 3 sampled transcripts read as real teaching); this title passed a strict title check.