A Core Calculus of Dependency

Let's read A Core Calculus of Dependency, by Abadi et al. (https://people.mpi-sws.org/~dg/teaching/lis2014/modules/ifc-3-abadi99.pdf).

It sounds as if we may also have some unfinished business with Mendler combinators as well.

We'll post the meeting URL here a few minutes before meeting start.