Growing solver-aided languages with rosette.

Emina Torlak, Rastislav Bodk

Browse the full OOPSLA paper archive.