Research

People

Publications

Software

Support

Links

Internal

Links

Last modified: Sat Nov 4 02:59:43 2006 GMT.

Related Projects

• Singularity
• Verisoft
• CompCert
• Coyotos
• Princeton SIP
• Boyer
• Accurate
• Standard ML of New Jersey
• Coq and Isabelle/HOL
• Twelf and Nuprl
• Poplmark
• L4 (sec | ver | hurd)
• SPIN and Flux

Resources

• The Collection of Computer Science Bibliographies
  • Bibliographies on Programming Languages, Type Theory and Compiler Technology
• Programming Language Research resources by Mark Leone at CMU