On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M13Solar: Difference between revisions
From WG 2.11
Jump to navigationJump to search
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 ..." |
(No difference)
|
Latest revision as of 18:17, 6 March 2014
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.
