Second Order Bounded Quantification with If-Expression
    Download PDF
Gang Chen. Second Order Bounded Quantification with If-Expression. International Journal of Software and Informatics, 2016,10(4):0
Hits: 3118
Download times: 1169
Abstract:The full combination of if-expression and subtyping was known as a challenging problem for a long time. The difficulty comes from the fact that two branches of an if-expression might have different types and these types might not have a unique least upper bound. Such situation could happen in real object oriented languages such as Java. In our previous work, we investigated this problem in a simply typed lambda calculus extended with subtyping and if-expression and solved the type checking problem in that system. In this paper, we extend the result to bounded quantification combined with if-expression.
keywords:subtyping  if-expression  bounded quantification  type theory  programming language
View Full Text  View/Add Comment  Download reader



Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号