%0 Journal Article %1 journals/pacmpl/MuraliPJM23 %A Murali, Adithya %A Peña, Lucas %A Jhala, Ranjit %A Madhusudan, P. %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1063-1092 %T Complete First-Order Reasoning for Properties of Functional Programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#MuraliPJM23 %V 7

@article{journals/pacmpl/MuraliPJM23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Murali, Adithya and Peña, Lucas and Jhala, Ranjit and Madhusudan, P.}, biburl = {https://www.bibsonomy.org/bibtex/211751b3d0f64a3b56677900cbf18a46e/dblp}, ee = {https://doi.org/10.1145/3622835}, interhash = {73cb84bed2cc63c55d9a589d9b23e857}, intrahash = {11751b3d0f64a3b56677900cbf18a46e}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {October}, number = {OOPSLA2}, pages = {1063-1092}, timestamp = {2024-04-08T09:54:02.000+0200}, title = {Complete First-Order Reasoning for Properties of Functional Programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#MuraliPJM23}, volume = 7, year = 2023 }