Extensible type-directed editing.

Joomy Korkut, David Thrane Christiansen

Browse the full ICFP paper archive.