Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
insynth [2013/06/28 11:19] gvero |
insynth [2013/06/29 10:53] gvero |
||
---|---|---|---|
Line 5: | Line 5: | ||
A recent version is presented in the following paper: | A recent version is presented in the following paper: | ||
- | * [[http://http://lara.epfl.ch/~gvero/gveroETAL13CompleteCompletionTypesWeights.pdf|Complete Completion using Types and Weights]], PLDI'2013 | + | * [[http://lara.epfl.ch/~gvero/gveroETAL13CompleteCompletionTypesWeights.pdf|Complete Completion using Types and Weights]], PLDI'2013 |
[[http://lara.epfl.ch/~gvero/pldi-slides.pdf|Here are the corresponding slides]] and [[https://dl.dropboxusercontent.com/u/4182451/insynth/poster.pdf|the poster]]. | [[http://lara.epfl.ch/~gvero/pldi-slides.pdf|Here are the corresponding slides]] and [[https://dl.dropboxusercontent.com/u/4182451/insynth/poster.pdf|the poster]]. |