datalog
No strong matches for “datalog”. Here are the closest videos.
52:29"I See What You Mean" by Peter Alvaro
59K views • 11 years ago
Strange Loop Conference
Peter Alvaro's Strange Loop 2015 talk argues that query languages let you state what you mean, and applies that to distributed programming. It covers Datalog, Dedalus and the Bloom lineage for reasoning about distributed systems.
42:31"Datafun: a functional query language" by Michael Arntzenius
9K views • 9 years ago
Strange Loop Conference
Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.