Merges with Semantic Typing (thrice upon a time)
Qianyong
This is another talk about the progress of the semantic typing system featuring merge operators. In this talk we’ll mainly focus on how to add BCD subtyping to the system.
This is another talk about the progress of the semantic typing system featuring merge operators. In this talk we’ll mainly focus on how to add BCD subtyping to the system.