Follow
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions. (arXiv:1912.08255v1 [cs.PL]) http://arxiv.org/abs/1912.08255
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions. (arXiv:1912.08255v1 [cs.PL]) http://arxiv.org/abs/1912.08255