What is it about?
Sparcl redefined the expressiveness boundary of invertible programming; it is also compatible (unlike most other proposals) with mainstream programming paradigms including functional programming. This breakthrough is achieved by a novel application of advanced type systems: linear typing, qualified typing, and staging.
Featured Image
Photo by Pablo García Saldaña on Unsplash
Read the Original
This page is a summary of: Sparcl: a language for partially-invertible computation, Proceedings of the ACM on Programming Languages, August 2020, ACM (Association for Computing Machinery),
DOI: 10.1145/3409000.
You can read the full text:
Contributors
The following have contributed to this page