%0 Journal Article %1 journals/pacmpl/CastagnaL17 %A Castagna, Giuseppe %A Lanvin, Victor %D 2017 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 41:1-41:28 %T Gradual typing with union and intersection types. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#CastagnaL17 %V 1

@article{journals/pacmpl/CastagnaL17, added-at = {2022-12-07T00:00:00.000+0100}, author = {Castagna, Giuseppe and Lanvin, Victor}, biburl = {https://www.bibsonomy.org/bibtex/2448c786a3b51db595e23e7eb0271d387/dblp}, ee = {https://doi.org/10.1145/3110285}, interhash = {5fd2c53cfad9368d4c71a27fdd099588}, intrahash = {448c786a3b51db595e23e7eb0271d387}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {41:1-41:28}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Gradual typing with union and intersection types.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#CastagnaL17}, volume = 1, year = 2017 }