"Datafun: a functional query language" by Michael Arntzenius
In brief
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.