Publications by Karl Crary

2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2536:112-125
Chang BYE, Crary K, DeLap M, Harper R, Liszka J, Murphy T, Pfenning F

2001 • Journal of Functional Programming • 11:441-466
Blelloch G, Burch H, Crary K, Harper R, Miller G, Walkington N

2001 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2071:147-176
Hicks M, Weirich S, Crary K

2001 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2071:1-25
Crary K

2001
Dreyer DR, Harper R, Crary K

2000 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 184-198
Crary K, Weirich S

2000 • ACM Sigplan Notices • 35(9):68-81
Crary K

2000 • ACM Sigplan Notices • 35(9):68-81
Crary K

2000 • ACM Transactions on Programming Languages and Systems • 22(4):701-771
Walker D, Crary K, Morrisett G

1999 • ACM Sigplan Notices • 34(9):82-89
Crary K

1999 • ACM Sigplan Notices • 34(9):82-89
Crary K

1999 406-419 vol.1
Crary K, Harper R, Lee P, Pfenning F

1999 • ACM Sigplan Notices • 34(9):233-248
Crary K, Weirich S

1999 • ACM Sigplan Notices • 34(9):233-248
Crary K, Weirich S

1999 • ACM Transactions on Programming Languages and Systems • 21(3):527-568
Morrisett G, Walker D, Crary K, Glew N

1999 • ACM Sigplan Notices • 34(1):301-312
Crary K, Weirich S, Morrisett G

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1644:40-54
Crary K, Morrisett G

1999 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 262-275
Crary K, Walker D, Morrisett G

1999 • ACM Sigplan Notices • 34(5):50-63
Crary K, Harper R, Puri S

1999 • ACM Sigplan Notices • 34(5):50-63
Crary K, Harper R, Puri S

1998 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1421:270-285
Crary K

1998 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 85-97
Morrisett G, Walker D, Crary K, Glew N

1998 • ACM Sigplan Notices • 34(1):301-312
Crary K, Weirich S, Morrisett G

1998 • IFIP Advances in Information and Communication Technology • 107-125
Crary K

1998
Morrisett G, Crary K, Walker D, Glew N