原名:program synthesis with types PDF ( Free | 222 Pages )
作品简介:我自己是一名计算机科学教育家，就像我认为自己是一名编程人员一样。Feser 的 λ。 2 系统 [Feser et al., 2015] 还枚举程序并根据示例对其进行检查。然而，与之前的努力不同的是，他们改进了我们当然可以像往常一样玩类型到合成的游戏。……
资源下载
包年VIP免费升级包年VIP
原名:program synthesis with types PDF ( Free | 222 Pages )
作品简介:我自己是一名计算机科学教育家，就像我认为自己是一名编程人员一样。Feser 的 λ。 2 系统 [Feser et al., 2015] 还枚举程序并根据示例对其进行检查。然而，与之前的努力不同的是，他们改进了我们当然可以像往常一样玩类型到合成的游戏。……
