Login / Signup

Inductive Type Schemas as Functors.

Freiric BarralSergei Soloviev
Published in: CSR (2006)
Keyphrases