From System F to typed assembly language G Morrisett, D Walker, K Crary, N Glew ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999 | 1145 | 1999 |

TALx86: A realistic typed assembly language K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ... 1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999 | 319 | 1999 |

Typed memory management in a calculus of capabilities K Crary, D Walker, G Morrisett Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 302 | 1999 |

Resource bound certification K Crary, S Weirich Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 288 | 2000 |

What is a recursive module? K Crary, R Harper, S Puri Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999 | 181 | 1999 |

Towards a mechanized metatheory of Standard ML DK Lee, K Crary, R Harper Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 176 | 2007 |

Stack-based typed assembly language G Morrisett, K Crary, N Glew, D Walker Types in Compilation: Second International Workshop, TIC’98 Kyoto, Japan …, 2006 | 172 | 2006 |

Intensional polymorphism in type-erasure semantics K Crary, S Weirich, G Morrisett ACM SIGPLAN Notices 34 (1), 301-312, 1998 | 163 | 1998 |

Intensional polymorphism in type-erasure semantics K Crary, S Weirich, G Morrisett ACM SIGPLAN Notices 34 (1), 301-312, 1998 | 163 | 1998 |

Typed memory management via static capabilities D Walker, K Crary, G Morrisett ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (4), 701-771, 2000 | 143 | 2000 |

A symmetric modal lambda calculus for distributed computing T Murphy, K Crary, R Harper, F Pfenning Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 130 | 2004 |

A symmetric modal lambda calculus for distributed computing T Murphy, K Crary, R Harper, F Pfenning Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 130 | 2004 |

Toward a foundational typed assembly language K Crary ACM SIGPLAN Notices 38 (1), 198-212, 2003 | 128 | 2003 |

Flexible type analysis K Crary, S Weirich Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999 | 119 | 1999 |

A type system for higher-order modules D Dreyer, K Crary, R Harper Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003 | 110 | 2003 |

A type system for higher-order modules D Dreyer, K Crary, R Harper Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003 | 110 | 2003 |

Stack-based typed assembly language G Morrisett, K Crary, N Glew, D Walker Journal of Functional Programming 12 (1), 43-88, 2002 | 100 | 2002 |

Type-safe distributed programming with ML5 T Murphy VII, K Crary, R Harper Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008 | 69 | 2008 |

A monadic analysis of information flow security with mutable state K Crary, A Kliger, F Pfenning Journal of functional programming 15 (2), 249-291, 2005 | 63 | 2005 |

Intensional polymorphism in type-erasure semantics K Crary, S Weirich, G Morrisett Journal of Functional Programming 12 (6), 567-600, 2002 | 58 | 2002 |