Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
10 Projects
❯
BCD subtyping
Folder: 10-Projects/BCD-subtyping
14 items under this folder.
Sep 16, 2025
Formalization progress of controlled subtyping in Coq
type/moc
topic/distributivity
context/hkuplg
status/ongoing
Sep 07, 2025
A fix to Jsub-mu rule
Sep 07, 2025
A note on Jsub-mu rule
Sep 07, 2025
Alternative translate subtyping
Sep 07, 2025
Compute the Intermediate Type v.2
Sep 07, 2025
Compute the Intermediate Type
Sep 07, 2025
Direct Splitting on Source Types
Sep 07, 2025
Distributivity Subtyping
Sep 07, 2025
Full Splitting
Sep 07, 2025
Inductively find the middle type (cont.)
idea
Sep 07, 2025
Inductively find the middle type
Sep 07, 2025
Intermediate Type from Left
Sep 07, 2025
One algorithm on the source type to try
Sep 07, 2025
Some careful thoughts on splitting RHS
todo