Haskell⁻¹: automatic function inversion in Haskell
| Title: | Haskell⁻¹: automatic function inversion in Haskell |
|---|---|
| Authors: | Teegen, Finn; Prott, Kai-Oliver; Bunkenburg, Niels |
| Source: | Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell. :41-55 |
| Availability: | http://dl.acm.org/doi/10.1145/3471874.3472982 |
| Database: | ACM Full-Text Collection |