%0 Conference Paper %1 journals/corr/PereiraAF15 %A Pereira, Mário %A Alves, Sandra %A Florido, Mário %B ITRS %D 2014 %E Rehof, Jakob %K dblp %P 24-42 %T Liquid Intersection Types. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs177.html#PereiraAF15 %V 177

@inproceedings{journals/corr/PereiraAF15, added-at = {2019-09-25T00:00:00.000+0200}, author = {Pereira, Mário and Alves, Sandra and Florido, Mário}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a19d4787ef26c079bed3f45d0783ffcc/dblp}, booktitle = {ITRS}, crossref = {journals/corr/Rehof15}, editor = {Rehof, Jakob}, ee = {http://arxiv.org/abs/1503.04908}, interhash = {4ca4b5b9c60d4e042ad8c623bb124a09}, intrahash = {a19d4787ef26c079bed3f45d0783ffcc}, keywords = {dblp}, pages = {24-42}, series = {EPTCS}, timestamp = {2019-09-27T12:28:02.000+0200}, title = {Liquid Intersection Types.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs177.html#PereiraAF15}, volume = 177, year = 2014 }