Publications by Karl Crary

2025 • Leibniz International Proceedings in Informatics • 337:
Aberlé CB, Crary K, Martens C, Pfenning F

2020 • Journal of Functional Programming • 30:
Crary K

2019 • Proceedings of the ACM on Programming Languages • 3:
Crary K

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10702:53-60
Crary K

2018 • Proceedings - Symposium on Logic in Computer Science • 265-274
Crary K

2018
Bohrer R, Crary K

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11294:112-134
Bohrer B, Crary K

2017 • ACM Sigplan Notices • 52(1):100-113
Crary K

2015 • ACM Sigplan Notices • 50(1):623-636
Crary K, Sullivan MJ

2015 • ACM Sigplan Notices • 50(6):479-488
Crary K, Sullivan MJ

2012 23-32
Martens C, Crary K

2010 • ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING • 131-141
Crary K

2010 • ACM Sigplan Notices • 45(9):131-142
Crary K

2010 • Electronic Proceedings in Theoretical Computer Science • 34:
Crary K, Miculan M

2010
Crary K, Miculan M

2009 21-29
Crary K

2009 • Electronic Notes in Theoretical Computer Science • 228:53-68
Crary K

2008 • ACM Transactions on Computational Logic • 9(3):
Crary K, Sarkar S

2008 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4912:108-+
Murphy T, Crary K, Harper R

2007 • ACM Transactions on Computational Logic • 8(2):
Crary K

2007 • Electronic Notes in Theoretical Computer Science • 172:259-299
Crary K, Harper R

2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 173-184
Lee DK, Crary K, Harper R

2007 • ACM Sigplan Notices • 42(1):173-184
Lee DK, Crary K, Harper R

2006 32-42
Swasey D, Murphy T, Crary K, Harper R

2006
Swasey D, Murphy T, Crary K, Harper R