] Filters: Author is Mário Pereira [Clear All Filters]
"Liquid Intersection Types", in "7th Workshop on Intersection Types and Related Systems (ITRS 2014)" , EPTCS (arXiv.org), vol. 177, pp.24–42, March 2015.
"Liquid Intersection Types", in "Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014." , vol. 177, pp.24–42, 2015.