%0 Conference Paper %1 conf/pldi/MadsenYL16 %A Madsen, Magnus %A Yee, Ming-Ho %A Lhoták, Ondrej %B PLDI %D 2016 %E Krintz, Chandra %E Berger, Emery D. %I ACM %K dblp %P 194-208 %T From Datalog to flix: a declarative language for fixed points on lattices. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#MadsenYL16 %@ 978-1-4503-4261-2

@inproceedings{conf/pldi/MadsenYL16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Madsen, Magnus and Yee, Ming-Ho and Lhoták, Ondrej}, biburl = {https://www.bibsonomy.org/bibtex/281de6dc65b5da7a7536a703d94846d3c/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2016}, editor = {Krintz, Chandra and Berger, Emery D.}, ee = {https://doi.org/10.1145/2980983.2908096}, interhash = {ae0cbdfecbb7bb91fc49f72c3d80cb54}, intrahash = {81de6dc65b5da7a7536a703d94846d3c}, isbn = {978-1-4503-4261-2}, keywords = {dblp}, pages = {194-208}, publisher = {ACM}, timestamp = {2024-04-09T19:00:33.000+0200}, title = {From Datalog to flix: a declarative language for fixed points on lattices.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#MadsenYL16}, year = 2016 }