| 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: 3125 |
| Download times: 1183 |
|
|
| 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 |
