%0 Journal Article %1 journals/pacmpl/JochemsJR23 %A Jochems, Jerome %A Jones, Eddie %A Ramsay, Steven J. %D 2023 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 2017-2047 %T Higher-Order MSL Horn Constraints. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#JochemsJR23 %V 7

@article{journals/pacmpl/JochemsJR23, added-at = {2023-02-10T00:00:00.000+0100}, author = {Jochems, Jerome and Jones, Eddie and Ramsay, Steven J.}, biburl = {https://www.bibsonomy.org/bibtex/2791354dd9b6ca4693a13716a0f9b8ff1/dblp}, ee = {https://doi.org/10.1145/3571262}, interhash = {d5693ef8b7703c6ec4a6b58a5719ae79}, intrahash = {791354dd9b6ca4693a13716a0f9b8ff1}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {2017-2047}, timestamp = {2024-04-08T09:55:01.000+0200}, title = {Higher-Order MSL Horn Constraints.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#JochemsJR23}, volume = 7, year = 2023 }