%0 Journal Article %1 journals/pacmpl/NewLA19 %A New, Max S. %A Licata, Daniel R. %A Ahmed, Amal %D 2019 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 15:1-15:31 %T Gradual type theory. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#NewLA19 %V 3

@article{journals/pacmpl/NewLA19, added-at = {2023-03-21T00:00:00.000+0100}, author = {New, Max S. and Licata, Daniel R. and Ahmed, Amal}, biburl = {https://www.bibsonomy.org/bibtex/2fdae500286e57c008b1a82fc0249897f/dblp}, ee = {https://doi.org/10.1145/3290328}, interhash = {7ae11c33b32b436d309f547f3b9c88be}, intrahash = {fdae500286e57c008b1a82fc0249897f}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {15:1-15:31}, timestamp = {2024-04-08T09:54:41.000+0200}, title = {Gradual type theory.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#NewLA19}, volume = 3, year = 2019 }