Search dblp for Publications

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

 download as .bib file

@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}
}

@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  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.