Programming languages, types, compilation and proofs
Xavier Leroy,Didier Remy, Nelly Maloisel,Sandrine Blazy,Damien Doligez, Alain Frisch,Michel Mauny,Francois Pottier,Andrew Tolmach,Berke Durak,Maxence Guesdon,Virgile Prevosto,Nicolas Pouillard,Richard Bonichon,Zaynah Dargaye, Jeanbaptiste Tristan,Yann Regisgianas,Boris Yakobowski,Michel Blockelet, Thomas Moniot mag(2006)
AI 理解论文
溯源树
样例