OxCaml: safe control over program behavior

ICFP'25 Tutorial