Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ml/ml2008.bht:"
@inproceedings{DBLP:conf/ml/BlumeRR08, author = {Matthias Blume and Mike Rainey and John H. Reppy}, editor = {Eijiro Sumii}, title = {Calling variadic functions from a strongly-typed language}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {47--58}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411312}, doi = {10.1145/1411304.1411312}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/BlumeRR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/CanouBC08, author = {Benjamin Canou and Vincent Balat and Emmanuel Chailloux}, editor = {Eijiro Sumii}, title = {O'browser: objective caml on browsers}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {69--78}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411315}, doi = {10.1145/1411304.1411315}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/CanouBC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/CuoqD08, author = {Pascal Cuoq and Damien Doligez}, editor = {Eijiro Sumii}, title = {Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {13--22}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411308}, doi = {10.1145/1411304.1411308}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/CuoqD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/Filliatre08, author = {Jean{-}Christophe Filli{\^{a}}tre}, editor = {Eijiro Sumii}, title = {A functional implementation of the garsia--wachs algorithm: (functional pearl)}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {91--96}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411317}, doi = {10.1145/1411304.1411317}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/Filliatre08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/HellerT08, author = {Alec Heller and Jesse A. Tov}, editor = {Eijiro Sumii}, title = {Caml-Shcaml: an ocaml library for unix shell programming}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {79--90}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411316}, doi = {10.1145/1411304.1411316}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/HellerT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/Kennedy08, author = {Andrew Kennedy}, editor = {Eijiro Sumii}, title = {Types for units-of-measure in f{\#}: invited talk}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {1--2}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411305}, doi = {10.1145/1411304.1411305}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/Kennedy08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/Lindley08, author = {Sam Lindley}, editor = {Eijiro Sumii}, title = {Many holes in hindley-milner}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {59--68}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411313}, doi = {10.1145/1411304.1411313}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ml/Lindley08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/Maranget08, author = {Luc Maranget}, editor = {Eijiro Sumii}, title = {Compiling pattern matching to good decision trees}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {35--46}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411311}, doi = {10.1145/1411304.1411311}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/Maranget08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/NordlanderCG08, author = {Johan Nordlander and Magnus Carlsson and Andy Gill}, editor = {Eijiro Sumii}, title = {Unrestricted pure call-by-value recursion}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {23--34}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411309}, doi = {10.1145/1411304.1411309}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/NordlanderCG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/Vouillon08, author = {J{\'{e}}r{\^{o}}me Vouillon}, editor = {Eijiro Sumii}, title = {Lwt: a cooperative thread library}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {3--12}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411307}, doi = {10.1145/1411304.1411307}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/Vouillon08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ml/2008, editor = {Eijiro Sumii}, title = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304}, doi = {10.1145/1411304}, isbn = {978-1-60558-062-3}, timestamp = {Mon, 12 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ml/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.