Program Synthesis by Completion with Dependent Subtypes.

Paul Jacquet

Browse the full CADE paper archive.