%0 Conference Paper %1 conf/sfp/AngeloF19 %A Ângelo, Pedro %A Florido, Mário %B TFP %D 2019 %E Bowman, William J. %E Garcia, Ronald %I Springer %K dblp %P 84-120 %T Type Inference for Rank 2 Gradual Intersection Types. %U http://dblp.uni-trier.de/db/conf/sfp/tfp2019.html#AngeloF19 %V 12053 %@ 978-3-030-47147-7

@inproceedings{conf/sfp/AngeloF19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ângelo, Pedro and Florido, Mário}, biburl = {https://www.bibsonomy.org/bibtex/2f6896bc08230ead5d43b834daafa7849/dblp}, booktitle = {TFP}, crossref = {conf/sfp/2019}, editor = {Bowman, William J. and Garcia, Ronald}, ee = {https://doi.org/10.1007/978-3-030-47147-7_5}, interhash = {9f44fda1e793e2be4b8d09539cfa1d41}, intrahash = {f6896bc08230ead5d43b834daafa7849}, isbn = {978-3-030-47147-7}, keywords = {dblp}, pages = {84-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:19:57.000+0200}, title = {Type Inference for Rank 2 Gradual Intersection Types.}, url = {http://dblp.uni-trier.de/db/conf/sfp/tfp2019.html#AngeloF19}, volume = 12053, year = 2019 }