BibTeX records: Stephen Blott

download as .bib file

@inproceedings{DBLP:conf/sac/OGormanB09,
  author       = {Gavin O'Gorman and
                  Stephen Blott},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Improving stream correlation attacks on anonymous networks},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {2024--2028},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529732},
  doi          = {10.1145/1529282.1529732},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/OGormanB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/OGormanB09,
  author       = {Gavin O'Gorman and
                  Stephen Blott},
  editor       = {Gabriel A. Wainer and
                  Clifford A. Shaffer and
                  Robert M. McGraw and
                  Michael J. Chinni},
  title        = {Simulating low-latency anonymous networks},
  booktitle    = {Proceedings of the 2009 Spring Simulation Multiconference, SpringSim
                  2009, San Diego, California, USA, March 22-27, 2009},
  publisher    = {{SCS/ACM}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1639809.1639899},
  timestamp    = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/springsim/OGormanB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BlottW08,
  author       = {Stephen Blott and
                  Roger Weber},
  title        = {What's wrong with high-dimensional similarity search?},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {1},
  number       = {1},
  pages        = {3},
  year         = {2008},
  url          = {http://www.vldb.org/pvldb/vol1/1453861.pdf},
  doi          = {10.14778/1453856.1453861},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/BlottW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/OGormanB07,
  author       = {Gavin O'Gorman and
                  Stephen Blott},
  editor       = {Iliano Cervesato},
  title        = {Large Scale Simulation of Tor:},
  booktitle    = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
                  Security, 12th Asian Computing Science Conference, Doha, Qatar, December
                  9-11, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4846},
  pages        = {48--54},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76929-3\_5},
  doi          = {10.1007/978-3-540-76929-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/OGormanB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bird/CamousBS07,
  author       = {Fabrice Camous and
                  Stephen Blott and
                  Alan F. Smeaton},
  editor       = {Sepp Hochreiter and
                  Roland Wagner},
  title        = {Ontology-Based {MEDLINE} Document Classification},
  booktitle    = {Bioinformatics Research and Development, First International Conference,
                  {BIRD} 2007, Berlin, Germany, March 12-14, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4414},
  pages        = {439--452},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71233-6\_34},
  doi          = {10.1007/978-3-540-71233-6\_34},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/bird/CamousBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coria/CamousBS06,
  author       = {Fabrice Camous and
                  Stephen Blott and
                  Alan F. Smeaton},
  title        = {On Combining Text and MeSH Searches to Improve the Retrieval of {MEDLINE}
                  documents},
  booktitle    = {COnf{\'{e}}rence en Recherche d'Infomations et Applications -
                  {CORIA} 2006, 3rd French Information Retrieval Conference, Lyon, France,
                  March 15-17, 2006. Proceedings},
  pages        = {271--282},
  publisher    = {Universit{\'{e}} de Lyon},
  year         = {2006},
  url          = {https://doi.org/10.24348/coria.2006.271},
  doi          = {10.24348/CORIA.2006.271},
  timestamp    = {Mon, 08 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coria/CamousBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/FerryB05,
  author       = {Ciaran Ferry and
                  Stephen Blott},
  editor       = {Michel Diaz and
                  Arturo Azcorra and
                  Philippe Owezarski and
                  Serge Fdida},
  title        = {The consistent web: a vision for the future},
  booktitle    = {Proceedings of the 2005 {ACM} Conference on Emerging Network Experiment
                  and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005},
  pages        = {240--241},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1095921.1095960},
  doi          = {10.1145/1095921.1095960},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/conext/FerryB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coria/BlottCGJS05,
  author       = {Stephen Blott and
                  Fabrice Camous and
                  Cathal Gurrin and
                  Gareth J. F. Jones and
                  Alan F. Smeaton},
  title        = {On the use of Clustering and the MeSH Controlled Vocabulary to Improve
                  {MEDLINE} Abstract Search},
  booktitle    = {COnf{\'{e}}rence en Recherche d'Infomations et Applications -
                  {CORIA} 2005, 2nd French Information Retrieval Conference, Grenoble,
                  France, March 9-11, 2005. Proceedings},
  pages        = {41--56},
  year         = {2005},
  url          = {https://doi.org/10.24348/coria.2005.18},
  doi          = {10.24348/CORIA.2005.18},
  timestamp    = {Mon, 08 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coria/BlottCGJS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/CamousBGJS05,
  author       = {Fabrice Camous and
                  Stephen Blott and
                  Cathal Gurrin and
                  Gareth J. F. Jones and
                  Alan F. Smeaton},
  editor       = {Ellen M. Voorhees and
                  Lori P. Buckland},
  title        = {Structural Term Extraction for Expansion of Template-Based Genomic
                  Queries},
  booktitle    = {Proceedings of the Fourteenth Text REtrieval Conference, {TREC} 2005,
                  Gaithersburg, Maryland, USA, November 15-18, 2005},
  series       = {{NIST} Special Publication},
  volume       = {500-266},
  publisher    = {National Institute of Standards and Technology {(NIST)}},
  year         = {2005},
  url          = {http://trec.nist.gov/pubs/trec14/papers/dublincu.geo.pdf},
  timestamp    = {Wed, 07 Jul 2021 16:44:22 +0200},
  biburl       = {https://dblp.org/rec/conf/trec/CamousBGJS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/BlottCFGGJMOSWBS04,
  author       = {Stephen Blott and
                  Fabrice Camous and
                  Paul Ferguson and
                  Georgina Gaughan and
                  Cathal Gurrin and
                  Gareth J. F. Jones and
                  Noel Murphy and
                  Noel E. O'Connor and
                  Alan F. Smeaton and
                  Peter Wilkins and
                  Ois{\'{\i}}n Boydell and
                  Barry Smyth},
  editor       = {Ellen M. Voorhees and
                  Lori P. Buckland},
  title        = {Experiments in Terabyte Searching, Genomic Retrieval and Novelty Detection
                  for {TREC} 2004},
  booktitle    = {Proceedings of the Thirteenth Text REtrieval Conference, {TREC} 2004,
                  Gaithersburg, Maryland, USA, November 16-19, 2004},
  series       = {{NIST} Special Publication},
  volume       = {500-261},
  publisher    = {National Institute of Standards and Technology {(NIST)}},
  year         = {2004},
  url          = {http://trec.nist.gov/pubs/trec13/papers/dcu.tera.geo.novelty.pdf},
  timestamp    = {Wed, 07 Jul 2021 16:44:22 +0200},
  biburl       = {https://dblp.org/rec/conf/trec/BlottCFGGJMOSWBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/BlottGJSS03,
  author       = {Stephen Blott and
                  Cathal Gurrin and
                  Gareth J. F. Jones and
                  Alan F. Smeaton and
                  Thomas S{\o}dring},
  editor       = {Ellen M. Voorhees and
                  Lori P. Buckland},
  title        = {On the Use of MeSH Headings to Improve Retrieval Effectiveness},
  booktitle    = {Proceedings of The Twelfth Text REtrieval Conference, {TREC} 2003,
                  Gaithersburg, Maryland, USA, November 18-21, 2003},
  series       = {{NIST} Special Publication},
  volume       = {500-255},
  pages        = {215--224},
  publisher    = {National Institute of Standards and Technology {(NIST)}},
  year         = {2003},
  url          = {http://trec.nist.gov/pubs/trec12/papers/dublin-cityu.genomic.ps},
  timestamp    = {Wed, 07 Jul 2021 16:44:22 +0200},
  biburl       = {https://dblp.org/rec/conf/trec/BlottGJSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BlottK02,
  author       = {Stephen Blott and
                  Henry F. Korth},
  title        = {An Almost-Serial Protocol for Transaction Execution in Main-Memory
                  Database Systems},
  booktitle    = {Proceedings of 28th International Conference on Very Large Data Bases,
                  {VLDB} 2002, Hong Kong, August 20-23, 2002},
  pages        = {706--717},
  publisher    = {Morgan Kaufmann},
  year         = {2002},
  url          = {http://www.vldb.org/conf/2002/S20P02.pdf},
  doi          = {10.1016/B978-155860869-6/50068-8},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/BlottK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/BlottMBBGKKLSS99,
  author       = {Stephen Blott and
                  Clifford E. Martin and
                  Yuri Breitbart and
                  Jos{\'{e}} Carlos Brustoloni and
                  Thomas R. Gramaglia and
                  Henry F. Korth and
                  David M. Kristol and
                  Robert H. Liao and
                  Eben Scanlon and
                  Avi Silberschatz},
  title        = {User-level billing and accounting in {IP} networks},
  journal      = {Bell Labs Tech. J.},
  volume       = {4},
  number       = {4},
  pages        = {237--251},
  year         = {1999},
  url          = {https://doi.org/10.1002/bltj.2201},
  doi          = {10.1002/BLTJ.2201},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bell/BlottMBBGKKLSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/BaulierBKS98,
  author       = {Gerald D. Baulier and
                  Stephen Blott and
                  Henry F. Korth and
                  Avi Silberschatz},
  title        = {Sunrise: {A} real-time event-processing system},
  journal      = {Bell Labs Tech. J.},
  volume       = {3},
  number       = {1},
  pages        = {3--18},
  year         = {1998},
  url          = {https://doi.org/10.1002/bltj.2089},
  doi          = {10.1002/BLTJ.2089},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bell/BaulierBKS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/WeberSB98,
  author       = {Roger Weber and
                  Hans{-}J{\"{o}}rg Schek and
                  Stephen Blott},
  editor       = {Ashish Gupta and
                  Oded Shmueli and
                  Jennifer Widom},
  title        = {A Quantitative Analysis and Performance Study for Similarity-Search
                  Methods in High-Dimensional Spaces},
  booktitle    = {VLDB'98, Proceedings of 24rd International Conference on Very Large
                  Data Bases, August 24-27, 1998, New York City, New York, {USA}},
  pages        = {194--205},
  publisher    = {Morgan Kaufmann},
  year         = {1998},
  url          = {http://www.vldb.org/conf/1998/p194.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/WeberSB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BaulierBKS98,
  author       = {Jerry Baulier and
                  Stephen Blott and
                  Henry F. Korth and
                  Abraham Silberschatz},
  editor       = {Ashish Gupta and
                  Oded Shmueli and
                  Jennifer Widom},
  title        = {A Database System for Real-Time Event Aggregation in Telecommunication},
  booktitle    = {VLDB'98, Proceedings of 24rd International Conference on Very Large
                  Data Bases, August 24-27, 1998, New York City, New York, {USA}},
  pages        = {680--684},
  publisher    = {Morgan Kaufmann},
  year         = {1998},
  url          = {http://www.vldb.org/conf/1998/p680.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/BaulierBKS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BlottKS98,
  author       = {Stephen Blott and
                  Henry F. Korth and
                  Abraham Silberschatz},
  editor       = {Ashish Gupta and
                  Oded Shmueli and
                  Jennifer Widom},
  title        = {Information, Communication, and Money: For What Can We Charge and
                  How Can We Meter It?},
  booktitle    = {VLDB'98, Proceedings of 24rd International Conference on Very Large
                  Data Bases, August 24-27, 1998, New York City, New York, {USA}},
  pages        = {697},
  publisher    = {Morgan Kaufmann},
  year         = {1998},
  url          = {http://www.vldb.org/conf/1998/p697.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/BlottKS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AlonsoBFS97,
  author       = {Gustavo Alonso and
                  Stephen Blott and
                  Armin Fessler and
                  Hans{-}J{\"{o}}rg Schek},
  editor       = {Alberto O. Mendelzon and
                  Z. Meral {\"{O}}zsoyoglu},
  title        = {Correctness and Parallelism of Composite Systems},
  booktitle    = {Proceedings of the Sixteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona,
                  {USA}},
  pages        = {197--208},
  publisher    = {{ACM} Press},
  year         = {1997},
  url          = {https://doi.org/10.1145/263661.263683},
  doi          = {10.1145/263661.263683},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/AlonsoBFS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BlottRS96,
  author       = {Stephen Blott and
                  Lukas Relly and
                  Hans{-}J{\"{o}}rg Schek},
  editor       = {H. V. Jagadish and
                  Inderpal Singh Mumick},
  title        = {An Open Storage System for Abstract Objects},
  booktitle    = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
                  Management of Data, Montreal, Quebec, Canada, June 4-6, 1996},
  pages        = {330--340},
  publisher    = {{ACM} Press},
  year         = {1996},
  url          = {https://doi.org/10.1145/233269.233348},
  doi          = {10.1145/233269.233348},
  timestamp    = {Tue, 16 Aug 2022 23:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/BlottRS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/RellyB95,
  author       = {Lukas Relly and
                  Stephen Blott},
  editor       = {Georg Lausen},
  title        = {Ein Speichersystem f{\"{u}}r abstrakte Objekte},
  booktitle    = {Datenbanksysteme in B{\"{u}}ro, Technik und Wissenschaft (BTW),
                  GI-Fachtagung, Dresden, 22.-24. M{\"{a}}rz 1995, Proceedings},
  series       = {Informatik Aktuell},
  pages        = {338--347},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-642-79646-3\_20},
  doi          = {10.1007/978-3-642-79646-3\_20},
  timestamp    = {Mon, 24 Jun 2019 15:47:45 +0200},
  biburl       = {https://dblp.org/rec/conf/btw/RellyB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/BlottV95,
  author       = {Stephen Blott and
                  Andrej Vckovski},
  editor       = {Max J. Egenhofer and
                  John R. Herring},
  title        = {Accessing Geographical Metafiles through a Database Storage System},
  booktitle    = {Advances in Spatial Databases, 4th International Symposium, SSD'95,
                  Portland, Maine, USA, August 6-9, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {951},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60159-7\_8},
  doi          = {10.1007/3-540-60159-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ssd/BlottV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/NorrieBSW94,
  author       = {Moira C. Norrie and
                  Stephen Blott and
                  Hans{-}J{\"{o}}rg Schek and
                  Gerhard Weikum},
  title        = {The Database Research Group at {ETH} Zurich},
  journal      = {{SIGMOD} Rec.},
  volume       = {23},
  number       = {1},
  pages        = {116--121},
  year         = {1994},
  url          = {https://doi.org/10.1145/181550.181567},
  doi          = {10.1145/181550.181567},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/NorrieBSW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/BlottKRS94,
  author       = {Stephen Blott and
                  Helmut Kaufmann and
                  Lukas Relly and
                  Hans{-}J{\"{o}}rg Schek},
  editor       = {Malcolm P. Atkinson and
                  David Maier and
                  V{\'{e}}ronique Benzaken},
  title        = {Buffering Long Externally-Defined Objects},
  booktitle    = {Persistent Object Systems, Proceedings of the Sixth International
                  Workshop on Persistent Object Systems, Tarascon, Provence, France,
                  5-9 September 1994},
  series       = {Workshops in Computing},
  pages        = {45--59},
  publisher    = {Springer and British Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-1-4471-2122-0\_5},
  doi          = {10.1007/978-1-4471-2122-0\_5},
  timestamp    = {Wed, 11 May 2022 08:53:26 +0200},
  biburl       = {https://dblp.org/rec/conf/pos/BlottKRS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/BlottNHW93,
  author       = {Stephen Blott and
                  Moira C. Norrie and
                  David J. Harper and
                  Andrew D. M. Walker},
  title        = {Detecting Semantic Violations in Generalised Classification Structures},
  booktitle    = {Proceedings of the International Conference on Intelligent and Cooperative
                  Information Systems, May 12-14, 1993, Rotterdam, The Netherlands},
  pages        = {300--308},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  timestamp    = {Fri, 30 Apr 2021 13:02:56 +0200},
  biburl       = {https://dblp.org/rec/conf/coopis/BlottNHW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Blott91,
  author       = {Stephen Blott},
  title        = {An approach to overloading with polymorphism},
  school       = {University of Glasgow, {UK}},
  year         = {1991},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.796676},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Blott91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Blott89,
  author       = {Stephen Blott},
  editor       = {Kei Davis and
                  John Hughes},
  title        = {Type Inference and Type Classes},
  booktitle    = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
                  21-23 August 1989, Fraserburgh, Scotland, {UK}},
  series       = {Workshops in Computing},
  pages        = {254--265},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Tue, 08 Mar 2022 10:14:58 +0100},
  biburl       = {https://dblp.org/rec/conf/fp/Blott89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondB89,
  author       = {Kevin Hammond and
                  Stephen Blott},
  editor       = {Kei Davis and
                  John Hughes},
  title        = {Implementing Haskell Type Classes},
  booktitle    = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
                  21-23 August 1989, Fraserburgh, Scotland, {UK}},
  series       = {Workshops in Computing},
  pages        = {266--286},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Tue, 18 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fp/HammondB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WadlerB89,
  author       = {Philip Wadler and
                  Stephen Blott},
  title        = {How to Make ad-hoc Polymorphism Less ad-hoc},
  booktitle    = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
                  of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
  pages        = {60--76},
  publisher    = {{ACM} Press},
  year         = {1989},
  url          = {https://doi.org/10.1145/75277.75283},
  doi          = {10.1145/75277.75283},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/WadlerB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics