%0 Conference Paper %1 conf/popl/EisenbergVJW14 %A Eisenberg, Richard A. %A Vytiniotis, Dimitrios %A Jones, Simon L. Peyton %A Weirich, Stephanie %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K dblp %P 671-684 %T Closed type families with overlapping equations. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#EisenbergVJW14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/EisenbergVJW14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Eisenberg, Richard A. and Vytiniotis, Dimitrios and Jones, Simon L. Peyton and Weirich, Stephanie}, biburl = {https://www.bibsonomy.org/bibtex/24795d1a83243361cb7129aafc4993959/dblp}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2578855.2535856}, interhash = {3c7c01dcb2c01c5a2dc6fc216e1aa6eb}, intrahash = {4795d1a83243361cb7129aafc4993959}, isbn = {978-1-4503-2544-8}, keywords = {dblp}, pages = {671-684}, publisher = {ACM}, timestamp = {2024-04-09T13:30:19.000+0200}, title = {Closed type families with overlapping equations.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#EisenbergVJW14}, year = 2014 }