Explicit Effects and Effect Constraints in ReML at POPL 2024
18 January 2024
My paper Explicit Effects and Effect Constraints in ReML was accepted for presentation at POPL 2024 in London on January 18.
For some programs, controlling memory use and other effects is as important as computing the right answer. ReML lets programmers state where values should live and place constraints on the effects that code may perform. The compiler checks these promises, helping them survive changes to source code and compiler optimisations. Built on MLKit’s region inference, the language combines explicit control with type and effect inference for higher-order, polymorphic programs.