Journal articles
Sieczkowski, F., Stepanenko, S., Sterling, J. and Birkedal, L., 2024. The Essence of Generalized Algebraic Data Types Proceedings of the ACM on Programming Languages, v. 8
Doi: http://doi.org/10.1145/3632866
Grodin, H., Niu, Y., Sterling, J. and Harper, R., 2024. Decalf: A Directed, Effectful Cost-Aware Logical Framework Proceedings of the ACM on Programming Languages, v. 8
Doi: http://doi.org/10.1145/3632852
Niu, Y., Sterling, J., Grodin, H. and Harper, R., 2022. A cost-Aware logical framework Proceedings of the ACM on Programming Languages, v. 6
Doi: http://doi.org/10.1145/3498670
Sterling, J. and Harper, R., 2021. Logical Relations as Types: Proof-Relevant Parametricity for Program Modules Journal of the ACM, v. 68
Doi: http://doi.org/10.1145/3474834
Gratzer, D., Sterling, J. and Birkedal, L., 2019. Implementing a modal dependent type theory Proceedings of the ACM on Programming Languages, v. 3
Doi: http://doi.org/10.1145/3341711
Angiuli, C., Cavallo, E., Favonia, KBH., Harper, R. and Sterling, J., 2018. The RedPRL proof assistant (invited paper) Electronic Proceedings in Theoretical Computer Science, EPTCS, v. 274
Doi: http://doi.org/10.4204/EPTCS.274.1
Palombi, D. and Sterling, J., Classifying topoi in synthetic guarded domain theory Electronic Notes in Theoretical Informatics and Computer Science, v. Volume 1 - Proceedings of...
Doi: http://doi.org/10.46298/entics.10323
Conference proceedings
Sterling, J. and Harper, R., 2022. Sheaf Semantics of Termination-Insensitive Noninterference Leibniz International Proceedings in Informatics, LIPIcs, v. 228
Doi: http://doi.org/10.4230/LIPIcs.FSCD.2022.5
Sterling, J., Angiuli, C. and Gratzer, D., 2019. Cubical syntax for reflection-free extensional equality Leibniz International Proceedings in Informatics, LIPIcs, v. 131
Doi: http://doi.org/10.4230/LIPIcs.FSCD.2019.31
Sterling, J., Towards univalent reference types
Sterling, J., Towards a geometry for syntax
Sterling, J., Tensorial structure of the lifting doctrine in constructive domain theory
Book chapters
