Work

Liquid Intersection Types

Year: 2015

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.177.3

Authors: Mário Pereira, Sandra Alves, Mário Florido

Institution: Universidade do Porto

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2080419437

FWCI: 0.682

Cites: 30

Cited by: 2

Related to: 10