%0 Conference Paper %1 journals/entcs/HallettK05 %A Hallett, J. J. %A Kfoury, Assaf J. %B ITRS %D 2004 %E Coppo, Mario %E Damiani, Ferruccio %I Elsevier %K dblp %P 57-102 %T Programming Examples Needing Polymorphic Recursion. %U http://dblp.uni-trier.de/db/journals/entcs/entcs136.html#HallettK05 %V 136

@inproceedings{journals/entcs/HallettK05, added-at = {2022-12-12T00:00:00.000+0100}, author = {Hallett, J. J. and Kfoury, Assaf J.}, biburl = {https://www.bibsonomy.org/bibtex/24dd4a331079e1a5113d6348a77f52547/dblp}, booktitle = {ITRS}, crossref = {conf/itrs/2004}, editor = {Coppo, Mario and Damiani, Ferruccio}, ee = {https://doi.org/10.1016/j.entcs.2005.06.014}, interhash = {506712024d23bb042df59322669704ee}, intrahash = {4dd4a331079e1a5113d6348a77f52547}, keywords = {dblp}, pages = {57-102}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:38:39.000+0200}, title = {Programming Examples Needing Polymorphic Recursion.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs136.html#HallettK05}, volume = 136, year = 2004 }