Ideas
- Full Splitting
- Compute the Intermediate Type
- Env Based Subtyping
- The generalized unfolding lemma
- Intermediate Type from Left
Work in Progress
- Extending Siek’s Subtyping Algorithm PDF
- A note on Jsub-mu rule
- A fix to Jsub-mu rule
- Some careful thoughts on splitting RHS