WG211/M13Solar

From WG 2.11
Revision as of 19:17, 6 March 2014 by Eric (talk | contribs) (Created page with "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 ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M13Solar&oldid=983"