Sparcl: a language for partially-invertible computation

Kazutaka Matsuda, Meng Wang. Sparcl: a language for partially-invertible computation. Proceedings of the ACM on Programming Languages, 4(ICFP), 2020. [doi]

Abstract

Abstract is missing.