World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
30
Citations
5300
World Ranking
13941
National Ranking
5543

Research.com Recognitions

  • 2005 - Fellow of Alfred P. Sloan Foundation

Best Publications

  • From system F to typed assembly language

    Greg Morrisett;David Walker;Karl Crary;Neal Glew

  • From system F to typed assembly language

    Greg Morrisett;David Walker;Karl Crary;Neal Glew

  • TALx86: A Realistic Typed Assembly Language∗

    Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman

  • Typed memory management in a calculus of capabilities

    Karl Crary;David Walker;Greg Morrisett

  • Resource bound certification

    Unknown

  • Stack-Based Typed Assembly Language

    J. Gregory Morrisett;Karl Crary;Neal Glew;David Walker

  • Intensional polymorphism in type-erasure semantics

    Karl Crary;Stephanie Weirich;Greg Morrisett

  • Towards a mechanized metatheory of standard ML

    Daniel K. Lee;Karl Crary;Robert Harper

  • What is a recursive module

    Karl Crary;Robert Harper;Sidd Puri

  • Typed memory management via static capabilities

    David Walker;Karl Crary;Greg Morrisett

  • A symmetric modal lambda calculus for distributed computing

    Vii T. Murphy;K. Crary;R. Harper;F. Pfenning

  • Toward a foundational typed assembly language

    Unknown

  • Flexible type analysis

    Karl Crary;Stephanie Weirich

  • A type system for higher-order modules

    Derek Dreyer;Karl Crary;Robert Harper

  • Mechanizing the Metatheory of Standard ML

    Daniel K. Lee;Karl Crary;Robert Harper

  • Stack-based typed assembly language

    Greg Morrisett;Karl Crary;Neal Glew;David Walker

  • Type-safe distributed programming with ML5

    Vii. Tom Murphy;Karl Crary;Robert Harper

  • Understanding and evolving the ml module system

    Derek Dreyer;Robert Harper;Karl Crary

  • Modal types for mobile code

    Robert Harper;Karl Crary;Tom Vii Murphy

  • A monadic analysis of information flow security with mutable state

    Karl Crary;Aleksey Kliger;Frank Pfenning

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: