Tag
generalization
- Apr 14, 2025 Let-Polymorphism and the Value Restriction Why generalizing every let binding makes mutable references unsound, how the syntactic value restriction blocks the counterexample, and what relaxed variants admit. programming languages
- Jun 23, 2024 Let-Polymorphism and Where Generalization Happens Why a let-bound definition can be used at several types while a lambda parameter cannot, how the level of a metavariable decides what gets generalized, and what the value restriction protects. compilers