Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore an in-depth overview of the abstract domains driving the Flambda 2 optimizer for OCaml programs in this 29-minute conference talk from ACM SIGPLAN's ML'23 event. Delve into the forward value analysis known as Flambda 2 Types, presented through the lens of abstract interpretation. Learn how this static analysis technique identifies optimization opportunities in functional programming. Join speakers Vincent Laviron, Pierre Chambart, and Mark Shinwell as they explain the intricacies of this abstract domain and its role in enhancing OCaml program performance.
