@inproceedings{Arntzenius:2016:DFD:2951913.2951948,
    Address = {New York, NY, USA},
    Author = {Arntzenius, Michael and Krishnaswami, Neelakantan R.},
    BookTitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
    File = {datafun (0) - a - a - z.pdf},
    ISBN = {978-1-4503-4219-3},
    Keywords = {Datalog, Prolog, adjoint logic, denotational semantics, domain-specific languages, functional programming, logic programming, operational semantics, type theory},
    Location = {Nara, Japan},
    Pages = {214--227},
    Publisher = {ACM},
    Series = {ICFP 2016},
    Title = {Datafun: A Functional Datalog},
    URL = {http://doi.acm.org/10.1145/2951913.2951948},
    Year = {2016},
    acmid = {2951948},
    bdsk-url-1 = {https://www.youtube.com/watch?v=p\_26-yTUlCU},
    bdsk-url-2 = {http://doi.acm.org/10.1145/2951913.2951948},
    bdsk-url-3 = {http://dx.doi.org/10.1145/2951913.2951948},
    date-added = {2017-04-30 12:33:09 +0000},
    date-modified = {2017-04-30 12:33:09 +0000},
    file-2 = {icfp2016-datafun-presentation (0) - a - a - z.pdf},
    numpages = {14},
    doi = {10.1145/2951913.2951948}
}

@inproceedings{Arntzenius:2016:DFD:2951913.2951948, Address = {New York, NY, USA}, Author = {Arntzenius, Michael and Krishnaswami, Neelakantan R.}, BookTitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming}, File = {datafun (0) - a - a - z.pdf}, ISBN = {978-1-4503-4219-3}, Keywords = {Datalog, Prolog, adjoint logic, denotational semantics, domain-specific languages, functional programming, logic programming, operational semantics, type theory}, Location = {Nara, Japan}, Pages = {214--227}, Publisher = {ACM}, Series = {ICFP 2016}, Title = {Datafun: A Functional Datalog}, URL = {http://doi.acm.org/10.1145/2951913.2951948}, Year = {2016}, acmid = {2951948}, bdsk-url-1 = {https://www.youtube.com/watch?v=p_26-yTUlCU}, bdsk-url-2 = {http://doi.acm.org/10.1145/2951913.2951948}, bdsk-url-3 = {http://dx.doi.org/10.1145/2951913.2951948}, date-added = {2017-04-30 12:33:09 +0000}, date-modified = {2017-04-30 12:33:09 +0000}, file-2 = {icfp2016-datafun-presentation (0) - a - a - z.pdf}, numpages = {14}, doi = {10.1145/2951913.2951948} }