| Resources |
State of the Art Computer Science Conference Ranks
Standard ML of New Jersey Coq (Tutorial manual library FAQ) Isabelle/HOL Compcert (code doc)
The Collection of Computer Science Bibliographies Bibliographies on Programming Languages, Type Theory and Compiler Technology
Programming Language Research (resources by Mark Leone at CMU)
Using SML/NJ System (Notes by Peter Lee at CMU) local copy
| Copyright © 2003-2008, Zhaopeng Li, University of Science & Technology of China. Last modified: 15:01, May 9, 2009. |
|