Karl Crary

发表

Karl Crary, Robert Harper, R. Harper, 2007, Computation, Meaning, and Logic.
David Walker, Karl Crary, J. Gregory Morrisett, 2000, TOPL.
Karl Crary, Robert Harper, Tom Murphy VII, 2005, CSL.
Karl Crary, Joseph Vanderwaart, 2002, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.
Daniel Spoonhower, Karl Crary, Robert Harper, 2006 .
Karl Crary, Joseph Vanderwaart, 2003, TLDI '03.
Karl Crary, Michael J. Sullivan, Karl Crary, 2015, POPL.
Robert Harper, Matthias Felleisen, Frank Pfenning, 2002 .
Karl Crary, J. Gregory Morrisett, Neal Glew, 1999, TOPL.
Frank Pfenning, Karl Crary, Robert Harper, 2004, LICS 2004.
Karl Crary, 2018, LICS.
Karl Crary, Joseph Vanderwaart, Karl Crary, 2002, ICFP '02.
Karl Crary, Karl Crary, 2019, Proc. ACM Program. Lang..
Frank Pfenning, Karl Crary, Aleksey Kliger, 2005, J. Funct. Program..
Karl Crary, 2000, Types in Compilation.
Karl Crary, Joseph C. Vanderwaart, 2004 .
Karl Crary, Robert Harper, Daniel K. Lee, 2007, POPL '07.
Karl Crary, Brandon Bohrer, Karl Crary, 2018, VSTTE.
Andrew W. Appel, Xavier Leroy, Karl Crary, 2000 .
Karl Crary, 2020, J. Funct. Program..
Karl Crary, Robert Harper, R. Harper, 2006, SIGA.
Bor-Yuh Evan Chang, Frank Pfenning, Karl Crary, 2002, GRID.
Frank Pfenning, Karl Crary, Robert Harper, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Robert Harper, Perry Cheng, Karl Crary, 1998 .
Karl Crary, Neal Glew, David Walker, 1999 .
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 1998, ICFP '98.
Karl Crary, 2009, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Karl Crary, Robert Harper, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Karl Crary, J. Gregory Morrisett, 1999, ICALP.
Karl Crary, Michael J. Sullivan, Karl Crary, 2015, PLDI.
David Walker, Karl Crary, Neal Glew, 1997 .
Karl Crary, Stephanie Weirich, Karl Crary, 1999, ICFP '99.
Karl Crary, Brigitte Pientka, Susmit Sarkar, 2005, ICLP.
Dan Grossman, David Walker, Stephanie Weirich, 1999 .
David Walker, Karl Crary, J. Gregory Morrisett, 1998, Journal of Functional Programming.
Karl Crary, Robert Harper, Tom Murphy VII, 2007, TGC.
Guy E. Blelloch, Gary L. Miller, Karl Crary, 2001, J. Funct. Program..
Karl Crary, Stephanie Weirich, Karl Crary, 2000, POPL '00.
Derek Dreyer, Karl Crary, Robert Harper, 2003, POPL '03.
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 2002, J. Funct. Program..
Karl Crary, Joseph Vanderwaart, 2005, TLDI '05.
Karl Crary, Karl Crary, 2003, POPL '03.
Peter Lee, Frank Pfenning, Karl Crary, 2003, Theor. Comput. Sci..
Karl Crary, Robert Harper, Derek Dreyer, 2005 .
Karl Crary, Karl Crary, 2017, POPL.
Karl Crary, Stephanie Weirich, Michael W. Hicks, 2000, Types in Compilation.
David Walker, Karl Crary, J. Gregory Morrisett, 1999, POPL '99.
David Walker, Karl Crary, Neal Glew, 2002, J. Funct. Program..
Bor-Yuh Evan Chang, Frank Pfenning, Karl Crary, 2002 .
Karl Crary, Susmit Sarkar, 2003, CADE.
Derek Dreyer, Perry Cheng, Karl Crary, 2003, TLDI '03.
Frank Pfenning, Karl Crary, Robert Harper, 2001 .
Karl Crary, 2000, ICFP '00.
Karl Crary, Robert Harper, Derek Dreyer, 2003, POPL '03.
Karl Crary, Robert Harper, Tom Murphy VII, 2006, ML '06.
Karl Crary, Karl Crary, 2003, POPL '03.
Karl Crary, Robert Harper, Sidd Puri, 1999, PLDI '99.
Frank Pfenning, Karl Crary, Aleksey Kliger, 2004 .
Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.
Karl Crary, Robert Harper, 2005 .
Karl Crary, Robert Harper, Tom Murphy, 2008 .
David Walker, Karl Crary, J. Gregory Morrisett, 2003, Journal of Functional Programming.
Karl Crary, Karl Crary, 1998, PROCOMET.
Karl Crary, Karl Crary, 2021, ArXiv.