%0 Conference Paper %1 conf/icfp/HamanaF11 %A Hamana, Makoto %A Fiore, Marcelo P. %B WGP@ICFP %D 2011 %E Järvi, Jaakko %E Mu, Shin-Cheng %I ACM %K dblp %P 59-70 %T A foundation for GADTs and inductive families: dependent polynomial functor approach. %U http://dblp.uni-trier.de/db/conf/icfp/wgp2011.html#HamanaF11 %@ 978-1-4503-0861-8

@inproceedings{conf/icfp/HamanaF11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hamana, Makoto and Fiore, Marcelo P.}, biburl = {https://www.bibsonomy.org/bibtex/2f5869861fc6099dc2105929a8abc6d41/dblp}, booktitle = {WGP@ICFP}, crossref = {conf/icfp/2011wgp}, editor = {Järvi, Jaakko and Mu, Shin-Cheng}, ee = {https://doi.org/10.1145/2036918.2036927}, interhash = {82e430f6b07d4e72288243e876cd378b}, intrahash = {f5869861fc6099dc2105929a8abc6d41}, isbn = {978-1-4503-0861-8}, keywords = {dblp}, pages = {59-70}, publisher = {ACM}, timestamp = {2018-11-07T13:10:16.000+0100}, title = {A foundation for GADTs and inductive families: dependent polynomial functor approach.}, url = {http://dblp.uni-trier.de/db/conf/icfp/wgp2011.html#HamanaF11}, year = 2011 }