[HTML] Reconciling Partial and Local Invertibility A Ågren Thuné, K Matsuda, M Wang - European Symposium on Programming, 2024 Invertible programming languages specify transformations to be run in two directions, such as compression/decompression or encryption/decryption. Two key concepts in invertible programming languages are partial invertibility and local invertibility. Partial invertibility lets invertible code be parameterized by the results of non- invertible code, whereas local invertibility requires all code to be invertible. The former allows for more flexible programming, while the latter has connections to … •Cites: ‪The R programming language and compiler‬