WG211/M13Solar
From WG 2.11
In this talk, I will describe some of the key ideas behind the design of the synthesis-enabled Sketch language. The talk will describe some recent work to support modularity and synthesis for programs involving algebraic data-types.
