Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages.

Timothy E. Sheard

Browse the full ICFP paper archive.