Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Christopher D. Richards

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/AhmedARSTW10
- ask others
Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang: Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. 32(3) (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AppelMRV07
- ask others
Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon: A very modal model of a modern, major, general type system. POPL 2007: 109-122