Statistics
Publications
3
Citations
499
H-Index
3
Active since
2001
Affiliations
Princeton University(Current)
Christina D. Richards is an author at Princeton University specializing in computing, computer science, and formal semantics.
Publications per year
2001–2010
3
3
Normalization of non-standard words
Richard Sproat, Alan W. Black, Stanley Chen et al. · Computer Speech & Language · 2001 · 344 citations
A very modal model of a modern, major, general type system
Andrew W. Appel, Paul-André Melliès, Christina D. Richards et al. · ACM SIGPLAN Notices · 2007 · 112 citations
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christina D. Richards et al. · ACM Transactions on Programming Languages and Systems · 2010 · 43 citations · Full text
Computing, Computer Science, Logic +16
1–3 of 3