cotalks.dev

"Aggregator: MapReduce in the type system" by Dan Frank

(link)