Liquid Intersection Types
Authors: Mário Pereira, Sandra Alves and Mário Florido
Paper Information
| Title: | Liquid Intersection Types |
| Authors: | Mário Pereira, Sandra Alves and Mário Florido |
| Proceedings: | ITRS 2014 Proceedings |
| Editors: | Jakob Rehof and Moritz Martens |
| Keywords: | Type systems, Refinement types, Liquid types, Intersection types, Logical annotations |
| Abstract: | ABSTRACT. We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system. We have been able to prove several interesting properties for our system (including subject reduction) and developed an inference algorithm, which we proved to be sound. |
| Pages: | 0 |
| Talk: | Jul 18 15:00 |
| Paper: |  |