Liquid Intersection Types

TitleLiquid Intersection Types
Publication TypeConference Paper
Year of Publication2015
AuthorsMário Pereira and Sandra Alves and Mário Florido
Conference Name7th Workshop on Intersection Types and Related Systems (ITRS 2014)
Month of PublishMarch
PublisherEPTCS (arXiv.org)
Conference LocationVienna, Austria
DOI10.4204/EPTCS.177.3