BibTeX records: Matthias Blume

download as .bib file

@article{DBLP:journals/jfp/AcarBD13,
  author       = {Umut A. Acar and
                  Matthias Blume and
                  Jacob Donham},
  title        = {A consistent semantics of self-adjusting computation},
  journal      = {J. Funct. Program.},
  volume       = {23},
  number       = {3},
  pages        = {249--292},
  year         = {2013},
  url          = {https://doi.org/10.1017/S0956796813000099},
  doi          = {10.1017/S0956796813000099},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AcarBD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BlumeV12,
  author       = {Matthias Blume and
                  Germ{\'{a}}n Vidal},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {1--2},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.021},
  doi          = {10.1016/J.TCS.2012.02.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BlumeV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/jmlr/XieLTLKB12,
  author       = {Jianjun Xie and
                  Scott Leishman and
                  Liang Tian and
                  David Lisuk and
                  Seongjoon Koo and
                  Matthias Blume},
  editor       = {Gideon Dror and
                  Yehuda Koren and
                  Markus Weimer},
  title        = {Feature Engineering in User's Music Preference Prediction},
  booktitle    = {Proceedings of {KDD} Cup 2011 competition, San Diego, CA, USA, 2011},
  series       = {{JMLR} Proceedings},
  volume       = {18},
  pages        = {183--197},
  publisher    = {JMLR.org},
  year         = {2012},
  url          = {http://proceedings.mlr.press/v18/xie12a.html},
  timestamp    = {Wed, 29 May 2019 08:41:47 +0200},
  biburl       = {https://dblp.org/rec/journals/jmlr/XieLTLKB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AhmedB11,
  author       = {Amal Ahmed and
                  Matthias Blume},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {An equivalence-preserving {CPS} translation via multi-language semantics},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {431--444},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034830},
  doi          = {10.1145/2034773.2034830},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/AhmedB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0478,
  author       = {Umut A. Acar and
                  Matthias Blume and
                  Jacob Donham},
  title        = {A Consistent Semantics of Self-Adjusting Computation},
  journal      = {CoRR},
  volume       = {abs/1106.0478},
  year         = {2011},
  url          = {http://arxiv.org/abs/1106.0478},
  eprinttype    = {arXiv},
  eprint       = {1106.0478},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-0478.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2010,
  editor       = {Matthias Blume and
                  Naoki Kobayashi and
                  Germ{\'{a}}n Vidal},
  title        = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
                  2010, Sendai, Japan, April 19-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6009},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12251-4},
  doi          = {10.1007/978-3-642-12251-4},
  isbn         = {978-3-642-12250-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AcarBBHT09,
  author       = {Umut A. Acar and
                  Guy E. Blelloch and
                  Matthias Blume and
                  Robert Harper and
                  Kanat Tangwongsan},
  title        = {An experimental analysis of self-adjusting computation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {32},
  number       = {1},
  pages        = {3:1--3:53},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596527.1596530},
  doi          = {10.1145/1596527.1596530},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AcarBBHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChaeB09,
  author       = {Wonseok Chae and
                  Matthias Blume},
  editor       = {Sven Apel and
                  William R. Cook and
                  Krzysztof Czarnecki and
                  Christian K{\"{a}}stner and
                  Neil Loughran and
                  Oscar Nierstrasz},
  title        = {Language support for feature-oriented product line engineering},
  booktitle    = {Proceedings of the First International Workshop on Feature-Oriented
                  Software Development, {FOSD} 2009, Denver, Colorado, USA, October
                  6, 2009},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629716.1629720},
  doi          = {10.1145/1629716.1629720},
  timestamp    = {Fri, 30 Dec 2022 23:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ChaeB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BlumeAC08,
  author       = {Matthias Blume and
                  Umut A. Acar and
                  Wonseok Chae},
  editor       = {G. Ramalingam},
  title        = {Exception Handlers as Extensible Cases},
  booktitle    = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
                  Bangalore, India, December 9-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5356},
  pages        = {273--289},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89330-1\_20},
  doi          = {10.1007/978-3-540-89330-1\_20},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BlumeAC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AhmedB08,
  author       = {Amal Ahmed and
                  Matthias Blume},
  editor       = {James Hook and
                  Peter Thiemann},
  title        = {Typed closure conversion preserves observational equivalence},
  booktitle    = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
                  20-28, 2008},
  pages        = {157--168},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411204.1411227},
  doi          = {10.1145/1411204.1411227},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/AhmedB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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/popl/AcarAB08,
  author       = {Umut A. Acar and
                  Amal Ahmed and
                  Matthias Blume},
  editor       = {George C. Necula and
                  Philip Wadler},
  title        = {Imperative self-adjusting computation},
  booktitle    = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2008, San Francisco, California,
                  USA, January 7-12, 2008},
  pages        = {309--322},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1328438.1328476},
  doi          = {10.1145/1328438.1328476},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/AcarAB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ChaeB08,
  author       = {Wonseok Chae and
                  Matthias Blume},
  title        = {Building a Family of Compilers},
  booktitle    = {Software Product Lines, 12th International Conference, {SPLC} 2008,
                  Limerick, Ireland, September 8-12, 2008, Proceedings},
  pages        = {307--316},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SPLC.2008.28},
  doi          = {10.1109/SPLC.2008.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/ChaeB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DreyerB07,
  author       = {Derek Dreyer and
                  Matthias Blume},
  editor       = {Rocco De Nicola},
  title        = {Principal Type Schemes for Modular Programs},
  booktitle    = {Programming Languages and Systems, 16th European Symposium on Programming,
                  {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
                  and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
                  - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4421},
  pages        = {441--457},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71316-6\_30},
  doi          = {10.1007/978-3-540-71316-6\_30},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DreyerB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AcarBD07,
  author       = {Umut A. Acar and
                  Matthias Blume and
                  Jacob Donham},
  editor       = {Rocco De Nicola},
  title        = {A Consistent Semantics of Self-adjusting Computation},
  booktitle    = {Programming Languages and Systems, 16th European Symposium on Programming,
                  {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
                  and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
                  - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4421},
  pages        = {458--474},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71316-6\_31},
  doi          = {10.1007/978-3-540-71316-6\_31},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AcarBD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semeval/KalmarB07,
  author       = {Paul Kalmar and
                  Matthias Blume},
  editor       = {Eneko Agirre and
                  Llu{\'{\i}}s M{\`{a}}rquez i Villodre and
                  Richard Wicentowski},
  title        = {{FICO:} Web Person Disambiguation Via Weighted Similarity of Entity
                  Contexts},
  booktitle    = {Proceedings of the 4th International Workshop on Semantic Evaluations,
                  SemEval@ACL 2007, Prague, Czech Republic, June 23-24, 2007},
  pages        = {149--152},
  publisher    = {The Association for Computer Linguistics},
  year         = {2007},
  url          = {https://aclanthology.org/S07-1030/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semeval/KalmarB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BlumeM06,
  author       = {Matthias Blume and
                  David A. McAllester},
  title        = {Sound and complete models of contracts},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {375--414},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005971},
  doi          = {10.1017/S0956796806005971},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BlumeM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FindlerB06,
  author       = {Robert Bruce Findler and
                  Matthias Blume},
  editor       = {Masami Hagiya and
                  Philip Wadler},
  title        = {Contracts as Pairs of Projections},
  booktitle    = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
                  2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3945},
  pages        = {226--241},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11737414\_16},
  doi          = {10.1007/11737414\_16},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/FindlerB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlumeAC06,
  author       = {Matthias Blume and
                  Umut A. Acar and
                  Wonseok Chae},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Extensible programming with first-class cases},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {239--250},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159836},
  doi          = {10.1145/1159803.1159836},
  timestamp    = {Mon, 17 Jan 2022 15:20:18 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/BlumeAC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AcarBBT06,
  author       = {Umut A. Acar and
                  Guy E. Blelloch and
                  Matthias Blume and
                  Kanat Tangwongsan},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {An experimental analysis of self-adjusting computation},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {96--107},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133993},
  doi          = {10.1145/1133981.1133993},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AcarBBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conll/FreitagBBCKRW05,
  author       = {Dayne Freitag and
                  Matthias Blume and
                  John Byrnes and
                  Edmond Chow and
                  Sadik Kapadia and
                  Richard Rohwer and
                  Zhiqiang Wang},
  editor       = {Ido Dagan and
                  Daniel Gildea},
  title        = {New Experiments in Distributional Representations of Synonymy},
  booktitle    = {Proceedings of the Ninth Conference on Computational Natural Language
                  Learning, CoNLL 2005, Ann Arbor, Michigan, USA, June 29-30, 2005},
  pages        = {25--32},
  publisher    = {{ACL}},
  year         = {2005},
  url          = {https://aclanthology.org/W05-0604/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/conll/FreitagBBCKRW05.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:conf/icfp/BlumeM04,
  author       = {Matthias Blume and
                  David A. McAllester},
  editor       = {Chris Okasaki and
                  Kathleen Fisher},
  title        = {A sound (and complete) model of contracts},
  booktitle    = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
                  19-21, 2004},
  pages        = {189--200},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1016850.1016876},
  doi          = {10.1145/1016850.1016876},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BlumeM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GeorgeB03,
  author       = {Lal George and
                  Matthias Blume},
  editor       = {Ron Cytron and
                  Rajiv Gupta},
  title        = {Taming the {IXP} network processor},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
                  Language Design and Implementation 2003, San Diego, California, USA,
                  June 9-11, 2003},
  pages        = {26--37},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/781131.781135},
  doi          = {10.1145/781131.781135},
  timestamp    = {Fri, 25 Jun 2021 17:17:37 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GeorgeB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Blume01,
  author       = {Matthias Blume},
  editor       = {Nick Benton and
                  Andrew Kennedy},
  title        = {No-Longer-Foreign: Teaching an {ML} compiler to speak {C} "natively"},
  booktitle    = {First International Workshop on Multi-Language Infrastructure and
                  Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
                  Italy, September 8, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {1},
  pages        = {36--52},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80452-9},
  doi          = {10.1016/S1571-0661(05)80452-9},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Blume01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Blume99,
  author       = {Matthias Blume},
  title        = {Dependency analysis for Standard {ML}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {21},
  number       = {4},
  pages        = {790--812},
  year         = {1999},
  url          = {https://doi.org/10.1145/325478.325481},
  doi          = {10.1145/325478.325481},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Blume99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BlumeA99,
  author       = {Matthias Blume and
                  Andrew W. Appel},
  title        = {Hierarchical modularity},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {21},
  number       = {4},
  pages        = {813--847},
  year         = {1999},
  url          = {https://doi.org/10.1145/325478.325518},
  doi          = {10.1145/325478.325518},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BlumeA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/BlumeE97,
  author       = {Matthias Blume and
                  Sadik C. Esener},
  title        = {An Efficient Mapping of Fuzzy {ART} onto a Neural Architecture},
  journal      = {Neural Networks},
  volume       = {10},
  number       = {3},
  pages        = {409--411},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0893-6080(96)00085-8},
  doi          = {10.1016/S0893-6080(96)00085-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nn/BlumeE97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlumeA97,
  author       = {Matthias Blume and
                  Andrew W. Appel},
  editor       = {Simon L. Peyton Jones and
                  Mads Tofte and
                  A. Michael Berman},
  title        = {Lambda-Splitting: {A} Higher-Order Approach to Cross-Module Optimizations},
  booktitle    = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
                  Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
                  9-11, 1997},
  pages        = {112--124},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/258948.258960},
  doi          = {10.1145/258948.258960},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BlumeA97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics