Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: _R_
1 item with this tag.
May 17, 2026
Row and Bounded Polymorphism via Disjoint Polymorphism
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
merge-operator
disjointness
_R_