Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Karl Crary

2005 • Journal of Functional Programming • 15:249-291
Crary K, Kliger A, Pfenning F

2005 • Proceedings of the TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation • 79-90
Vanderwaart JC, Crary K

2005 • Lecture Notes in Computer Science • 3634:51-69
Murphy T, Crary K, Harper R

2005 • Lecture Notes in Computer Science • 3668:387-401
Sarkar S, Pientka B, Crary K

2004 • Proceedings - Symposium on Logic in Computer Science • 286-295
Murphy T, Crary K, Harper R, Pfenning F

2003 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 236-249
Dreyer D, Crary K, Harper R

2003 • ACM Sigplan Notices • 38(1):236-249
Dreyer D, Crary K, Harper R

2003 • ACM Sigplan Notices • 38(1):172-184
Petersen L, Harper R, Crary K, Pfenning F

2003 • ACM Sigplan Notices • 38(1):172-184
Petersen L, Harper R, Crary K, Pfenning F

2003 109-122
Vanderwaart JC, Crary K

2003 • ACM Sigplan Notices • 38(3):109-122
Vanderwaart JC, Crary K

2003 • ACM Sigplan Notices • 38(3):109-122
Vanderwaart JC, Crary K

2003 • Theoretical Computer Science • 290(2):1175-1199
Colby C, Crary K, Harper R, Lee P, Pfenning F

2003 • Journal of Functional Programming • 13(5):957-959
Morrisett G, Crary K, Glew N, Walker D

2003 • Lecture Notes in Computer Science • 2741:106-120
Crary K, Sarkar S

2003 • ACM Sigplan Notices • 38(1):198-212
Crary K

2003 • ACM Sigplan Notices • 38(1):198-212
Crary K

2003 • ACM Sigplan Notices • 38(3):98-108
Vanderwaart JC, Crary K, Dreyer D, Harper R, Petersen L, Cheng P

2003 • ACM Sigplan Notices • 38(3):98-108
Vanderwaart JC, Dreyer D, Petersen L, Crary K, Harper R, Cheng P

2002 • Electronic Notes in Theoretical Computer Science • 70(2):11-28
Vanderwaart JC, Crary K

2002 191-205
Crary K, Vanderwaart JC

2002 • ACM Sigplan Notices • 37(9):191-205
Crary K, Vanderwaart JC

2002 • Journal of Functional Programming • 12:567-600
Crary K, Weirich S, Morrisett G

2002 • Journal of Functional Programming • 12:43-88
Morrisett G, Crary K, Glew N, Walker D

2002 • Lecture Notes in Computer Science • 2536:112-125
Chang BYE, Crary K, DeLap M, Harper R, Liszka J, Murphy T, Pfenning F