Private Row Types: Abstracting the Unnamed
Abstract elided by the publisher.
Related papers
- Representing Java Classes in a Typed Intermediate Language ICFP 1999
- Abstracting extensible data types: or, rows by any other name POPL 2019
- Backwards-Compatible Row-Based Exceptions in ML PLDI 2026
- Extensible objects without labels TOPLAS 2004
- Type directed compilation of row-typed algebraic effects POPL 2017
- A Type System for Effect Handlers and Dynamic Labels ESOP 2023
- Optimal inference of fields in row-polymorphic records PLDI 2014
- Type-indexed rows POPL 2001