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: 441
Download times: 157
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

 

 

more>>  
Visitor:1717255
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号