Karl Crary

发表

Karl Crary, Stephanie Weirich, Karl Crary, 2000, POPL '00.
Karl Crary, Robert Harper, Derek Dreyer, 2003, POPL '03.
David Walker, Karl Crary, J. Gregory Morrisett, 1999, POPL '99.
R. Harper, Karl Crary, Derek Dreyer, 2001 .
Stephan A Zdancewic, B. Pierce, R. Harper, 2006 .
Karl Crary, Chris Martens, 2012, LFMTP '12.
G. Miller, H. Burch, R. Harper, 1999 .
R. Harper, Karl Crary, Daniel K. Lee, 2006 .
R. Harper, Karl Crary, Derek Dreyer, 2022 .
B. Pierce, R. Harper, F. Pfenning, 2007 .
Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.
Frank Pfenning, Karl Crary, Aleksey Kliger, 2004 .
Robert Harper, Matthias Felleisen, Frank Pfenning, 2002 .
David Walker, Karl Crary, J. Gregory Morrisett, 2003, Journal of Functional Programming.
Derek Dreyer, Karl Crary, Robert Harper, 2003, POPL '03.
Karl Crary, Karl Crary, 2003, POPL '03.
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 1998, ICFP '98.
Karl Crary, Robert Harper, Tom Murphy, 2008 .
Bor-Yuh Evan Chang, Frank Pfenning, Karl Crary, 2002, GRID.
Karl Crary, J. Gregory Morrisett, Neal Glew, 1999, TOPL.
Karl Crary, Robert Harper, Derek Dreyer, 2005 .
Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.
Karl Crary, Joseph Vanderwaart, Karl Crary, 2002, ICFP '02.
Frank Pfenning, Karl Crary, Robert Harper, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Dan Grossman, David Walker, Stephanie Weirich, 1999 .
David Walker, Karl Crary, J. Gregory Morrisett, 1998, Journal of Functional Programming.
Karl Crary, Robert Harper, R. Harper, 2006, SIGA.
Karl Crary, Stephanie Weirich, Karl Crary, 1999, ICFP '99.
Karl Crary, Karl Crary, 1998, PROCOMET.
David Walker, Karl Crary, Neal Glew, 1997 .
Karl Crary, Stephanie Weirich, 2020 .
Karl Crary, Karl Crary, 2019, Proc. ACM Program. Lang..
Karl Crary, Robert Harper, Daniel K. Lee, 2007, POPL '07.
Karl Crary, Michael J. Sullivan, Karl Crary, 2015, PLDI.
Karl Crary, Karl Crary, 2021, ArXiv.
Karl Crary, Robert Harper, Tom Murphy VII, 2005, CSL.
Karl Crary, Brigitte Pientka, Susmit Sarkar, 2005, ICLP.
Derek Dreyer, Perry Cheng, Karl Crary, 2003, TLDI '03.
Frank Pfenning, Karl Crary, Robert Harper, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Karl Crary, Robert Harper, Sidd Puri, 1999, PLDI '99.
Karl Crary, Karl Crary, 2003, POPL '03.
Karl Crary, Brandon Bohrer, Karl Crary, 2018, VSTTE.
David Walker, Karl Crary, J. Gregory Morrisett, 2000, TOPL.
D. Walker, Karl Crary, Neal Glew, 1998, POPL '98.
G. Blelloch, H. Burch, N. Walkington, 2001 .
G. Blelloch, G. Miller, H. Burch, 2001 .
Andrew W. Appel, Xavier Leroy, Karl Crary, 2000 .
Karl Crary, Robert Harper, R. Harper, 2007, Computation, Meaning, and Logic.
Karl Crary, Karl Crary, 2017, POPL.
Karl Crary, Michael J. Sullivan, Karl Crary, 2015, POPL.