%0 Journal Article %1 journals/jfp/NewLA21 %A New, Max S. %A Licata, Daniel R. %A Ahmed, Amal %D 2021 %J J. Funct. Program. %K dblp %P e21 %T Gradual type theory. %U http://dblp.uni-trier.de/db/journals/jfp/jfp31.html#NewLA21 %V 31

@article{journals/jfp/NewLA21, added-at = {2022-07-05T00:00:00.000+0200}, author = {New, Max S. and Licata, Daniel R. and Ahmed, Amal}, biburl = {https://www.bibsonomy.org/bibtex/262cf3a8a1c87704fcaaec535bacd673f/dblp}, ee = {https://doi.org/10.1017/S0956796821000125}, interhash = {92a325703eab24cb2c8c844131681d54}, intrahash = {62cf3a8a1c87704fcaaec535bacd673f}, journal = {J. Funct. Program.}, keywords = {dblp}, pages = {e21}, timestamp = {2024-04-09T06:04:32.000+0200}, title = {Gradual type theory.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp31.html#NewLA21}, volume = 31, year = 2021 }