Computer Science, Programming Languages Algebraic Effects for Free Variable Analysis in Compilation December 27, 2023
Computer Science, Logic in Computer Science Unifying Semirings and Monads in Probabilistic Programming Languages December 27, 2023