Kindly bent to free us

Gabriel Radanne, Hannes Saffrich, Peter Thiemann 0001. Kindly bent to free us. Proceedings of the ACM on Programming Languages, 4(ICFP), 2020. [doi]

Abstract

Abstract is missing.