A row polymorphism design for set-theoretic types that keeps substitutions simple by allowing Boolean combinations of row variables directly in record type constructors, with a complete tallying algorithm and an implementation in SSTT and MLsem. Published at OOPSLA 2026.
Using data on over 20,000 schools and two million students, we show that proximity to colonial-era Christian missions in the DR Congo is still associated today with broader, higher-quality curricula and better exam outcomes. Published in the Journal of Development Economics.
Most dynamic languages allow users to turn text into code using various functions, often named `eval`, with language-dependent semantics. The widespread use of these reflective functions hinders static analysis and prevents compilers from performing …