Emina Torlak, Rastislav BodÃk. Growing solver-aided languages with rosette. In Antony L. Hosking, Patrick Th. Eugster, Robert Hirschfeld, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2013, part of SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013. pages 135-152, ACM, 2013. [doi]
Abstract is missing.