Programmatic and direct manipulation, together at last.

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

Browse the full PLDI paper archive.