Search dblp for Publications

export results for "toc:db/conf/ml/ml2008.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.