Tag
records
- Jul 28, 2026 Row Polymorphism for Extensible Records How a row variable records the fields a function does not touch, why lack constraints are needed for extension, and what the algorithm costs. programming languages
- Feb 22, 2025 Structural Subtyping and the Variance Lattice Why a record with more fields fits where fewer are expected, why function arguments run the other way, and why a mutable field destroys both. programming languages