Gang Chen. Full integration of subtyping and if-expression. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002). pages 181-188, ACM, 2002. [doi]
Abstract is missing.