Edsger Wybe Dijkstra, Alan Turing, Haskell Curry, Donald Ervin Knuth, John von Neumann,
以及近代的 Martin Odersky, Benjamin C. Pierce, Simon Peyton Jones
补充 Vladimir Voevodsky
00后都喜欢什么明星?
相关文章
Edsger Wybe Dijkstra, Alan Turing, Haskell Curry, Donald Ervin Knuth, John von Neumann,
以及近代的 Martin Odersky, Benjamin C. Pierce, Simon Peyton Jones
补充 Vladimir Voevodsky
