Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/ml:"
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}
}
@inproceedings{DBLP:conf/ml/ChuangS07,
author = {Tyng{-}Ruey Chuang and
Max Sch{\"{a}}fer},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Status report: layered streaming {XML} processing with modules},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {53--58},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292544},
doi = {10.1145/1292535.1292544},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/ChuangS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/ConchonF07,
author = {Sylvain Conchon and
Jean{-}Christophe Filli{\^{a}}tre},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {A persistent union-find data structure},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {37--46},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292541},
doi = {10.1145/1292535.1292541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/ConchonF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/FluetFRRSX07,
author = {Matthew Fluet and
Nic Ford and
Mike Rainey and
John H. Reppy and
Adam Shaw and
Yingqi Xiao},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Status report: the manticore project},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {15--24},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292539},
doi = {10.1145/1292535.1292539},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/FluetFRRSX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/HermanF07,
author = {David Herman and
Cormac Flanagan},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Status report: specifying javascript with {ML}},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {47--52},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292543},
doi = {10.1145/1292535.1292543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/HermanF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Karvonen07,
author = {Vesa A. J. Karvonen},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Generics for the working ML'er},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {71--82},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292547},
doi = {10.1145/1292535.1292547},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Karvonen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/KuanM07,
author = {George Kuan and
David MacQueen},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Efficient type inference using ranked type variables},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {3--14},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292538},
doi = {10.1145/1292535.1292538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/KuanM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/LoddoS07,
author = {Jean{-}Vincent Loddo and
Luca Saiu},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Status report: marionnet or "how to implement a virtual network laboratory
in six months and be happy"},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {59--70},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292545},
doi = {10.1145/1292535.1292545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/LoddoS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Remy07,
author = {Didier R{\'{e}}my},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {ML\({}^{\mbox{F}}\) for everyone (users, implementers, and designers)},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {1--2},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292536},
doi = {10.1145/1292535.1292536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Remy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/RossbergTK07,
author = {Andreas Rossberg and
Guido Tack and
Leif Kornstaedt},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Status report: hot pickles, and how to serve them},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {25--36},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292540},
doi = {10.1145/1292535.1292540},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/RossbergTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Yallop07,
author = {Jeremy Yallop},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Practical generic programming in OCaml},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {83--94},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292548},
doi = {10.1145/1292535.1292548},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Yallop07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ml/2007,
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-676-9},
timestamp = {Thu, 28 Jan 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Balat06,
author = {Vincent Balat},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Ocsigen: typing web interaction with objective Caml},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {84--94},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159889},
doi = {10.1145/1159876.1159889},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/ml/Balat06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/BillingsSSS06,
author = {John Billings and
Peter Sewell and
Mark R. Shinwell and
Rok Strnisa},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Type-safe distributed programming for OCaml},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {20--31},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159881},
doi = {10.1145/1159876.1159881},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/BillingsSSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Filliatre06,
author = {Jean{-}Christophe Filli{\^{a}}tre},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Backtracking iterators},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {55--62},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159885},
doi = {10.1145/1159876.1159885},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Filliatre06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/FilliatreC06,
author = {Jean{-}Christophe Filli{\^{a}}tre and
Sylvain Conchon},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Type-safe modular hash-consing},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {12--19},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159880},
doi = {10.1145/1159876.1159880},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/FilliatreC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/LernerGC06,
author = {Benjamin S. Lerner and
Dan Grossman and
Craig Chambers},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Seminal: searching for {ML} type-error messages},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {63--73},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159887},
doi = {10.1145/1159876.1159887},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ml/LernerGC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Reppy06,
author = {John H. Reppy},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Type-sensitive control-flow analysis},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {74--83},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159888},
doi = {10.1145/1159876.1159888},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Reppy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/SwaseyVCH06,
author = {David Swasey and
Tom Murphy VII and
Karl Crary and
Robert Harper},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {A separate compilation extension to standard {ML}},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {32--42},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159883},
doi = {10.1145/1159876.1159883},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/SwaseyVCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Syme06,
author = {Don Syme},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Leveraging .NET meta-programming components from F{\#}: integrated
queries and interoperable heterogeneous execution},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {43--54},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159884},
doi = {10.1145/1159876.1159884},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Syme06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/VII06,
author = {Tom Murphy VII},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {{ML} grid programming with ConCert},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {2--11},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159879},
doi = {10.1145/1159876.1159879},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/VII06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Weeks06,
author = {Stephen Weeks},
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Whole-program compilation in MLton},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
pages = {1},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876.1159877},
doi = {10.1145/1159876.1159877},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Weeks06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ml/2005,
editor = {Nick Benton and
Xavier Leroy},
title = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/148/issue/2},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ml/2006,
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876},
doi = {10.1145/1159876},
isbn = {1-59593-483-9},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ml/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcarBBHT06,
author = {Umut A. Acar and
Guy E. Blelloch and
Matthias Blume and
Robert Harper and
Kanat Tangwongsan},
editor = {Nick Benton and
Xavier Leroy},
title = {A Library for Self-Adjusting Computation},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {127--154},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.043},
doi = {10.1016/J.ENTCS.2005.11.043},
timestamp = {Fri, 16 Dec 2022 13:23:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcarBBHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BentonL06,
author = {Nick Benton and
Xavier Leroy},
editor = {Nick Benton and
Xavier Leroy},
title = {Preface},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.037},
doi = {10.1016/J.ENTCS.2005.11.037},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BentonL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FluetP06,
author = {Matthew Fluet and
Riccardo Pucella},
editor = {Nick Benton and
Xavier Leroy},
title = {Practical Datatype Specializations with Phantom Types and Recursion
Schemes},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {211--237},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.046},
doi = {10.1016/J.ENTCS.2005.11.046},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FluetP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pottier06,
author = {Fran{\c{c}}ois Pottier},
editor = {Nick Benton and
Xavier Leroy},
title = {An Overview of C\emph{alpha}ml},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {27--52},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.039},
doi = {10.1016/J.ENTCS.2005.11.039},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pottier06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PottierR06,
author = {Fran{\c{c}}ois Pottier and
Yann R{\'{e}}gis{-}Gianas},
editor = {Nick Benton and
Xavier Leroy},
title = {Towards Efficient, Typed {LR} Parsers},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {155--180},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.044},
doi = {10.1016/J.ENTCS.2005.11.044},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PottierR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ramsey06,
author = {Norman Ramsey},
editor = {Nick Benton and
Xavier Leroy},
title = {{ML} Module Mania: {A} Type-Safe, Separately Compiled, Extensible
Interpreter},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {181--209},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.045},
doi = {10.1016/J.ENTCS.2005.11.045},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ramsey06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamseyD06,
author = {Norman Ramsey and
Jo{\~{a}}o Dias},
editor = {Nick Benton and
Xavier Leroy},
title = {An Applicative Control-Flow Graph Based on Huet's Zipper},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {105--126},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.042},
doi = {10.1016/J.ENTCS.2005.11.042},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RamseyD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Shinwell06,
author = {Mark R. Shinwell},
editor = {Nick Benton and
Xavier Leroy},
title = {Fresh O'Caml: Nominal Abstract Syntax for the Masses},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {53--77},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.040},
doi = {10.1016/J.ENTCS.2005.11.040},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Shinwell06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SulzmannL06,
author = {Martin Sulzmann and
Kenny Zhuo Ming Lu},
editor = {Nick Benton and
Xavier Leroy},
title = {A Type-Safe Embedding of XDuce into {ML}},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {239--264},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.047},
doi = {10.1016/J.ENTCS.2005.11.047},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SulzmannL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Syme06,
author = {Don Syme},
editor = {Nick Benton and
Xavier Leroy},
title = {Initializing Mutually Referential Abstract Objects: The Value Recursion
Challenge},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {3--25},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.038},
doi = {10.1016/J.ENTCS.2005.11.038},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Syme06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TackKS06,
author = {Guido Tack and
Leif Kornstaedt and
Gert Smolka},
editor = {Nick Benton and
Xavier Leroy},
title = {Generic Pickling and Minimization},
booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn,
Estonia, September 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {2},
pages = {79--103},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.041},
doi = {10.1016/J.ENTCS.2005.11.041},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TackKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-23 07:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
