Inductive Type Schemas as Functors.

Freiric Barral, Sergei Soloviev

Browse the full CSR paper archive.