Skip to content

Instantly share code, notes, and snippets.

@qdwang

qdwang/plt prof list

Last active July 5, 2016 14:23
Show Gist options
  • Save qdwang/100b876054eaf09f1a96 to your computer and use it in GitHub Desktop.
Save qdwang/100b876054eaf09f1a96 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
plt prof list
C.A.R. Hoare, Dana Scott, Robin Milner, John McCarthy, Dale Miller, Christopher Strachey, Peter Landin, Robert Constable, R.M. Burstall, Valentin Turchin, Patrick Cousot, Neil D. Jones, Gordon Plotkin, J Strother Moore, Tobias Nipkow, Robert Harper, John Reynolds, Frank Pfenning, Olivier Danvy, Yoshihiko Futamura, Philip Wadler, Luca Cardeli, Greg Morrisett, Benjamin Pierce, Daniel Friedman, Matthias Felleisen, Amr Sabry, R. Kent Dybvig
Alonzo Church, Stephen Kleene, N.G. de Bruijn, Haskell Curry, W.A. Howard, Per Martin-Löf, Gerard Huet, Henk Barendregt, Thierry Coquand, Jean-Yves Girard
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment