%0 Conference Paper %1 conf/ml/Filliatre08 %A Filliâtre, Jean-Christophe %B ML %D 2008 %E Sumii, Eijiro %I ACM %K dblp %P 91-96 %T A functional implementation of the garsia--wachs algorithm: (functional pearl). %U http://dblp.uni-trier.de/db/conf/ml/ml2008.html#Filliatre08 %@ 978-1-60558-062-3

@inproceedings{conf/ml/Filliatre08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Filliâtre, Jean-Christophe}, biburl = {https://www.bibsonomy.org/bibtex/26d92994d555f82d6653496d3253d4af3/dblp}, booktitle = {ML}, crossref = {conf/ml/2008}, editor = {Sumii, Eijiro}, ee = {https://doi.org/10.1145/1411304.1411317}, interhash = {39764a76b14cc23e9cb5c233d54e86fa}, intrahash = {6d92994d555f82d6653496d3253d4af3}, isbn = {978-1-60558-062-3}, keywords = {dblp}, pages = {91-96}, publisher = {ACM}, timestamp = {2024-04-09T18:55:30.000+0200}, title = {A functional implementation of the garsia--wachs algorithm: (functional pearl).}, url = {http://dblp.uni-trier.de/db/conf/ml/ml2008.html#Filliatre08}, year = 2008 }