to the following people for their corrections and suggestions: Arbob
Robert Harper,Zena M Ariola,Guy E Blelloch,William E Byrd,Luca Cardelli,Iliano Cervesato, Manuel Chakravarti, Lin Chase, Richard Cobbe,Karl Crary, Daniel Dantas, Anupam Datta, Jake Donham,Derek Dreyer,Matthias Felleisen,Daniel P Friedman,Maia Ginsburg, Cao Jing,Gabriele Keller, Danielle Kramer, Akiva Leffert, Ruy Ley,Daniel R Licata,Karen Liu,Dave Macqueen,Chris Martens,Greg Morrisett,Tom Murphy,Ar Nanevski,Georg Neis, David Neville,Frank Pfenning, Jean Pichon,Benjamin C Pierce,Andrew M Pitts,Gordon Plotkin,David Renshaw,John C Reynolds,Carter T Schonwald, Dale Schumacher, Dana S Scott,Zhong Shao,Robert J Simmons,Daniel Spoonhower, Paulo Tanimoto,Bernardo Toninho,Kami Vaniea mag(2012)
AI 理解论文
溯源树
样例