%0 Journal Article %1 journals/pacmpl/MaillardLTT22 %A Maillard, Kenji %A Lennon-Bertrand, Meven %A Tabareau, Nicolas %A Tanter, Éric %D 2022 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 931-959 %T A reasonably gradual type theory. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#MaillardLTT22 %V 6

@article{journals/pacmpl/MaillardLTT22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Maillard, Kenji and Lennon-Bertrand, Meven and Tabareau, Nicolas and Tanter, Éric}, biburl = {https://www.bibsonomy.org/bibtex/2fc5b512346bbb798487e5d2a25f2bbc8/dblp}, ee = {https://www.wikidata.org/entity/Q114070924}, interhash = {3204f163f9c3b304d81cb39b6c64d923}, intrahash = {fc5b512346bbb798487e5d2a25f2bbc8}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {931-959}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {A reasonably gradual type theory.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#MaillardLTT22}, volume = 6, year = 2022 }