A foundation for GADTs and inductive families: dependent polynomial functor approach.

Makoto Hamana, Marcelo P. Fiore

Browse the full ICFP paper archive.