A foundation for GADTs and inductive families: dependent polynomial functor approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Makoto Hamana, Marcelo P. Fiore. A foundation for GADTs and inductive families: dependent polynomial functor approach. In Jaakko Järvi, Shin-Cheng Mu, editors, Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011. pages 59-70, ACM, 2011. [doi]

This author has not been identified. Look up 'Makoto Hamana' in GoogleThis author has not been identified. Look up 'Marcelo P. Fiore' in Google

runs on WebDSL