Publications by Robert Harper

2020
Niu Y, Harper R

2020 • Proceedings of the ACM on Programming Languages • 4:
MacQueen D, Harper R, Reppy J

2019 • Proceedings of the ACM on Programming Languages • 3:
Tassarotti J, Harper R

2019 • Proceedings of the ACM on Programming Languages • 3:
Cavallo E, Harper R

2018
Tassarotti J, Harper R

2018 • Leibniz International Proceedings in Informatics • 119:
Angiuli C, Hou (Favonia) K-B, Harper R

2018
Muller SK, Acar UA, Harper R

2018 • Proceedings of the ACM on Programming Languages • 2:
Muller SK, Acar UA, Harper R

2018
Cavallo E, Harper R

2018 • Leibniz International Proceedings in Informatics • 97:
Favonia KBH, Harper R

2018 • Theoretical Computer Science • 741:25-31
Harper R

2018
Sterling J, Harper R

2018 • Proceedings - Symposium on Logic in Computer Science • 879-888
Sterling J, Harper R

2018 • Indagationes Mathematicae • 29(1):135-149
Angiuli C, Harper R

2018
Angiuli C, Cavallo E, Hou K-B, Harper R, Sterling J

2018 • Electronic Proceedings in Theoretical Computer Science • 1-10
Angiuli C, Cavallo E, Hou (Favonia) K-B, Harper R, Sterling J

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10895:560-578
Tassarotti J, Harper R

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10201:909-936
Tassarotti J, Jung R, Harper R

2017
Tassarotti J, Jung R, Harper R

2017
Angiuli C, Harper R

2017
Angiuli C, Hou K-B, Harper R

2017 • ACM Sigplan Notices • 680-693
Angiuli C, Harper R, Wilson T

2017 • ACM Sigplan Notices • 52(1):680-693
Angiuli C, Harper R, Wilson T

2017 • Journal of Functional Programming • 27:1-24
Hou (Favonia) K-B, Benton N, Harper R

2017 • ACM Sigplan Notices • 52(1):706-718
Kumar A, Blelloch GE, Harper R