Type-directed completion of partial expressions.

Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman

Browse the full PLDI paper archive.