Sparcl: A language for partially invertible computation - MATSUDA, KAZUTAKA; WANG, MENG (Journal of functional programming, 2024)
Keywords: Algorithms; Arithmetic coding; Computation; Fixing; Huffman codes; Logic programming; Programming languages; Semantics; Software development