RbSyn: type- and effect-guided program synthesis.

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn

Browse the full PLDI paper archive.