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

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:

Read

Contributors

The following have contributed to this page