文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Francisco Alberti
发表
L'expérience SCOL, un langage pour des applications internet multi-utilisateurs
Anne-Gwenn Bosser, Francisco Alberti, 2003, JFLA.
Type-based static analysis of structural properties in programming languages. (Analyse statique typée des propriétés structurelles des programmes)
Francisco Alberti, 2005 .