cotalks.dev

"Datafun: a functional query language" by Michael Arntzenius

(link)