Tom Ridge
发表
Tom Ridge,
T. Ridge,
2007,
TPHOLs.
Tom Ridge,
Karthik Vishwanath,
Louis W.M.M. Krieger,
2020
.
Tom Ridge,
John G. Whitington,
2017,
SLATE.
Tom Ridge,
Peter Sewell,
Anil Madhavapeddy,
2015,
SOSP.
Tom Ridge,
Francesco Zappa Nardelli,
Peter Sewell,
2007,
ICFP '07.
Tom Ridge,
Peter Sewell,
Sam Jansen,
2006,
Proceedings of the 2006 IEEE International Conference on Network Protocols.
Tom Ridge,
Peter Sewell,
Scott Owens,
2014,
ICFP.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Tom Ridge,
Frank Piessens,
Bart Jacobs,
2011
.
Tom Ridge,
Francesco Zappa Nardelli,
Peter Sewell,
2010,
J. Funct. Program..
Tom Ridge,
Vincent Dunn,
2002
.
Tom Ridge,
James Margetson,
2005,
TPHOLs.
Tom Ridge,
Howard A. Schmidt,
Tom Ridge,
2006
.
Tom Ridge,
Michael Norrish,
Peter Sewell,
2008,
FM.
Tom Ridge,
John Whitington,
2017,
ML/OCaml.
Tom Ridge,
2005
.
Tom Ridge,
Michael Norrish,
Peter Sewell,
2018,
J. ACM.
Tom Ridge,
James Margetson,
2004,
Arch. Formal Proofs.
Tom Ridge,
Michael Norrish,
Peter Sewell,
2009
.
Tom Ridge,
2004,
Arch. Formal Proofs.
Tom Ridge,
Francesco Zappa Nardelli,
Magnus O. Myreen,
2009,
POPL '09.
Tom Ridge,
T. Ridge,
2014,
SLE.
Tom Ridge,
2005
.
Tom Ridge,
T. Ridge,
2011,
CPP.
Tom Ridge,
2006,
ArXiv.
Tom Ridge,
2009,
POPL '09.
Tom Ridge,
2004,
Arch. Formal Proofs.
Tom Ridge,
T. Ridge,
2010,
VSTTE.
Tom Ridge,
2005
.