Export Citations
1 Results for: Keyword: monadic transformation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,823,348 records)|Limit your search to The ACM Full-Text Collection (772,531 records)
Select All
Haskell⁻¹: automatic function inversion in Haskell
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on HaskellPages 41–55https://doi.org/10.1145/3471874.3472982We present an approach for automatic function inversion in Haskell. The inverse functions we generate are based on an extension of Haskell's computational model with non-determinism and free variables. We implement this functional logic extension of ...