Publications by Robert Harper

2021
Sterling J, Harper R

2021 • Mathematical Structures in Computer Science • 31(4):424-468
Angiuli C, Brunerie G, Coquand T, Harper R, Hou (favonia) K-B, Licata DR

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

2019
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 • Proceedings of the ACM on Programming Languages • 2:
Muller SK, Acar UA, Harper R

2018
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 • Proceedings - Symposium on Logic in Computer Science • 879-888
Sterling J, Harper R

2018
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
Tassarotti J, Jung R, 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
Sterling J, Harper R

2017
Angiuli C, Harper R

2017
Angiuli C, Hou K-B, Harper R