%0 Conference Paper %1 conf/types/SimoesHFV06 %A Simões, Hugo R. %A Hammond, Kevin %A Florido, Mário %A Vasconcelos, Pedro B. %B TYPES %D 2006 %E Altenkirch, Thorsten %E McBride, Conor %I Springer %K dblp %P 221-236 %T Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. %U http://dblp.uni-trier.de/db/conf/types/types2006.html#SimoesHFV06 %V 4502 %@ 978-3-540-74463-4

@inproceedings{conf/types/SimoesHFV06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Simões, Hugo R. and Hammond, Kevin and Florido, Mário and Vasconcelos, Pedro B.}, biburl = {https://www.bibsonomy.org/bibtex/203c3ed160f335e27ada5b7468d94d1ac/dblp}, booktitle = {TYPES}, crossref = {conf/types/2006}, editor = {Altenkirch, Thorsten and McBride, Conor}, ee = {https://doi.org/10.1007/978-3-540-74464-1_15}, interhash = {ab88694947771ca2cff0cf6eb48346ee}, intrahash = {03c3ed160f335e27ada5b7468d94d1ac}, isbn = {978-3-540-74463-4}, keywords = {dblp}, pages = {221-236}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:14:55.000+0200}, title = {Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.}, url = {http://dblp.uni-trier.de/db/conf/types/types2006.html#SimoesHFV06}, volume = 4502, year = 2006 }