Lab for Automated Reasoning and Analysis LARA

Lecturecise 11: Type-Driven Synthesis

Type-Driven Synthesis, presented by Tihomir Gvero. Slides PDF

More information: PLDI 2013 paper

 
sav13/lecturecise_11.txt · Last modified: 2013/04/14 10:24 by vkuncak
 
© EPFL 2018 - Legal notice