Computer Science, Programming Languages Algebraic Effects for Free Variable Analysis in Compilation December 27, 2023
Artificial Intelligence, Computer Science Generating Encodings for Plans with Lowest Bound N December 15, 2023
Computer Science, Logic in Computer Science Formalizing Nondeterminism in Coq Semantics December 13, 2023