%0 Conference Paper %1 conf/saig/BerardiCDG00 %A Berardi, Stefano %A Coppo, Mario %A Damiani, Ferruccio %A Giannini, Paola %B SAIG %D 2000 %E Taha, Walid %I Springer %K dblp %P 172-189 %T Type-Based Useless-Code Elimination for Functional Programs. %U http://dblp.uni-trier.de/db/conf/saig/saig2000.html#BerardiCDG00 %V 1924 %@ 3-540-41054-6

@inproceedings{conf/saig/BerardiCDG00, added-at = {2020-12-29T00:00:00.000+0100}, author = {Berardi, Stefano and Coppo, Mario and Damiani, Ferruccio and Giannini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/216cecbc66a2aa67dd22bb1a28e3380b0/dblp}, booktitle = {SAIG}, crossref = {conf/saig/2000}, editor = {Taha, Walid}, ee = {https://doi.org/10.1007/3-540-45350-4_13}, interhash = {efeb4f53886330b5ba604e44d623b86a}, intrahash = {16cecbc66a2aa67dd22bb1a28e3380b0}, isbn = {3-540-41054-6}, keywords = {dblp}, pages = {172-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:52:13.000+0200}, title = {Type-Based Useless-Code Elimination for Functional Programs.}, url = {http://dblp.uni-trier.de/db/conf/saig/saig2000.html#BerardiCDG00}, volume = 1924, year = 2000 }