%0 Journal Article %1 journals/pacmpl/HuangY23 %A Huang, Yulong %A Yallop, Jeremy %D 2023 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 516-538 %T Defunctionalization with Dependent Types. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#HuangY23 %V 7

@article{journals/pacmpl/HuangY23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Huang, Yulong and Yallop, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/2d0ecb25e8c49a37641e54927a3d2e7e1/dblp}, ee = {https://doi.org/10.1145/3591241}, interhash = {1381794d7d358a32c064026137d89d5d}, intrahash = {d0ecb25e8c49a37641e54927a3d2e7e1}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {516-538}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {Defunctionalization with Dependent Types.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#HuangY23}, volume = 7, year = 2023 }