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