%0 Conference Paper %1 conf/icfp/ArntzeniusK16 %A Arntzenius, Michael %A Krishnaswami, Neelakantan R. %B ICFP %D 2016 %E Garrigue, Jacques %E Keller, Gabriele %E Sumii, Eijiro %I ACM %K dblp %P 214-227 %T Datafun: a functional Datalog. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#ArntzeniusK16 %@ 978-1-4503-4219-3

@inproceedings{conf/icfp/ArntzeniusK16, added-at = {2021-06-23T00:00:00.000+0200}, author = {Arntzenius, Michael and Krishnaswami, Neelakantan R.}, biburl = {https://www.bibsonomy.org/bibtex/22eabe7e69bbd8eae37ea42ec7f41b1f8/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2016}, editor = {Garrigue, Jacques and Keller, Gabriele and Sumii, Eijiro}, ee = {https://doi.org/10.1145/3022670.2951948}, interhash = {1b4111cf47bc78b591ac5097d9339114}, intrahash = {2eabe7e69bbd8eae37ea42ec7f41b1f8}, isbn = {978-1-4503-4219-3}, keywords = {dblp}, pages = {214-227}, publisher = {ACM}, timestamp = {2024-04-09T17:31:28.000+0200}, title = {Datafun: a functional Datalog.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#ArntzeniusK16}, year = 2016 }