%0 Conference Paper %1 journals/entcs/RahliWPK15 %A Rahli, Vincent %A Wells, Joe B. %A Pirie, John %A Kamareddine, Fairouz %B LSFA %D 2014 %E Ayala-Rincón, Mauricio %E Mackie, Ian %I Elsevier %K dblp %P 197-213 %T Skalpel: A Type Error Slicer for Standard ML. %U http://dblp.uni-trier.de/db/journals/entcs/entcs312.html#RahliWPK15 %V 312

@inproceedings{journals/entcs/RahliWPK15, added-at = {2022-08-16T00:00:00.000+0200}, author = {Rahli, Vincent and Wells, Joe B. and Pirie, John and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/23a2fd4c587219d73a52841cbf57484ab/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2014}, editor = {Ayala-Rincón, Mauricio and Mackie, Ian}, ee = {https://www.wikidata.org/entity/Q113317802}, interhash = {87c57ee831820aa24245d8479e5eec6b}, intrahash = {3a2fd4c587219d73a52841cbf57484ab}, keywords = {dblp}, pages = {197-213}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:39.000+0200}, title = {Skalpel: A Type Error Slicer for Standard ML.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs312.html#RahliWPK15}, volume = 312, year = 2014 }