Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
HKUPLG
❯
BCD subtyping
Folder: HKUPLG/BCD-subtyping
14 items under this folder.
Jun 04, 2025
A fix to Jsub-mu rule
Jun 04, 2025
A note on Jsub-mu rule
Jun 04, 2025
Alternative translate subtyping
Jun 04, 2025
Compute the Intermediate Type v.2
Jun 04, 2025
Compute the Intermediate Type
Jun 04, 2025
Direct Splitting on Source Types
Jun 04, 2025
Distributivity Subtyping
Jun 04, 2025
Env Based Subtyping
Jun 04, 2025
Full Splitting
Jun 04, 2025
Inductively find the middle type (cont.)
idea
Jun 04, 2025
Inductively find the middle type
Jun 04, 2025
Intermediate Type from Left
Jun 04, 2025
One algorithm on the source type to try
Jun 04, 2025
Some careful thoughts on splitting RHS
todo