32:40 [ML'23] Resource polymorphism: proposal for integrating first-class resources into ML ACM SIGPLAN
29:58 [ML'23] Layout Polymorphism: Using static computation to allow efficient polymorphism over... ACM SIGPLAN
29:03 [ML'23] Flambda 2 Types: An abstract domain for static analysis of functional programs (mo... ACM SIGPLAN
33:44 [ML'23] The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Pre... ACM SIGPLAN
