@inproceedings{DavisW89,
  title = {Backwards Strictness Analysis: Proved and Improved},
  author = {Kei Davis and Philip Wadler},
  year = {1989},
  tags = {analysis},
  researchr = {https://researchr.org/publication/DavisW89},
  cites = {0},
  citedby = {0},
  pages = {12-30},
  booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK},
  editor = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}

@article{Wadler07,
  title = {The Girard-Reynolds isomorphism (second edition)},
  author = {Philip Wadler},
  year = {2007},
  doi = {10.1016/j.tcs.2006.12.042},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.12.042},
  researchr = {https://researchr.org/publication/Wadler07},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {375},
  number = {1-3},
  pages = {201-226},
}

@article{SchrijversSW09,
  title = {Monadic constraint programming},
  author = {Tom Schrijvers and Peter J. Stuckey and Philip Wadler},
  year = {2009},
  doi = {10.1017/S0956796809990086},
  url = {http://dx.doi.org/10.1017/S0956796809990086},
  tags = {constraints, programming},
  researchr = {https://researchr.org/publication/SchrijversSW09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {6},
  pages = {663-697},
}

@article{wadler1998expression,
  title = {The expression problem},
  author = {Philip Wadler},
  year = {1998},
  month = {11},
  url = {https://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt},
  researchr = {https://researchr.org/publication/wadler1998expression},
  cites = {0},
  citedby = {0},
  journal = {Java-genericity mailing list},
}

@inproceedings{Wadler93,
  title = {A Taste of Linear Logic},
  author = {Philip Wadler},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/Wadler93},
  cites = {0},
  citedby = {0},
  pages = {185-210},
  booktitle = {Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings},
  editor = {Andrzej M. Borzyszkowski and Stefan Sokolowski},
  volume = {711},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57182-5},
}

@inproceedings{MarlowW92,
  title = {Deforestation for Higher-Order Functions},
  author = {Simon Marlow and Philip Wadler},
  year = {1992},
  researchr = {https://researchr.org/publication/MarlowW92},
  cites = {0},
  citedby = {0},
  pages = {154-165},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@inproceedings{Wadler02,
  title = {XQuery: A Typed Functional Language for Querying XML},
  author = {Philip Wadler},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=188},
  tags = {XQuery, XML, XML Schema, query language},
  researchr = {https://researchr.org/publication/Wadler02},
  cites = {0},
  citedby = {0},
  pages = {188-212},
  booktitle = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  editor = {Johan  Jeuring and Simon L. Peyton Jones},
  volume = {2638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40132-6},
}

@inproceedings{SiekW10,
  title = {Threesomes, with and without blame},
  author = {Jeremy G. Siek and Philip Wadler},
  year = {2010},
  doi = {10.1145/1706299.1706342},
  url = {http://doi.acm.org/10.1145/1706299.1706342},
  researchr = {https://researchr.org/publication/SiekW10},
  cites = {0},
  citedby = {0},
  pages = {365-376},
  booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
  editor = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@article{Wadler00,
  title = {A Formal Semantics of Patterns in XSLT and XPath},
  author = {Philip Wadler},
  year = {2000},
  url = {http://cm.bell-labs.com/cm/cs/who/wadler/papers/xsl-semantics/xsl-semantics.pdf},
  researchr = {https://researchr.org/publication/Wadler00},
  cites = {0},
  citedby = {0},
  journal = {Markup Languages},
  volume = {2},
  number = {2},
  pages = {183-202},
}

@article{Wadler03:0,
  title = {The Girard-Reynolds isomorphism},
  author = {Philip Wadler},
  year = {2003},
  doi = {10.1016/S0890-5401(03)00141-X},
  url = {http://dx.doi.org/10.1016/S0890-5401(03)00141-X},
  researchr = {https://researchr.org/publication/Wadler03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {186},
  number = {2},
  pages = {260-284},
}

@book{0067889,
  title = {Introduction to functional programming},
  author = {Richard S. Bird and Philip Wadler},
  year = {1988},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/0067889},
  cites = {0},
  citedby = {0},
  series = {Prentice Hall International series in computer science},
  publisher = {Prentice Hall},
  isbn = {978-0-13-484197-7},
}

@inproceedings{MorrisSW80,
  title = {Experience with an Applicative String Processing Language},
  author = {James H. Morris Jr. and Eric Schmidt and Philip Wadler},
  year = {1980},
  researchr = {https://researchr.org/publication/MorrisSW80},
  cites = {0},
  citedby = {0},
  pages = {32-46},
  booktitle = {POPL},
}

@article{IgarashiPW01,
  title = {Featherweight Java: a minimal core calculus for Java and GJ},
  author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  year = {2001},
  doi = {10.1145/503502.503505},
  url = {http://doi.acm.org/10.1145/503502.503505},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/IgarashiPW01},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {23},
  number = {3},
  pages = {396-450},
}

@article{DanvyOW07,
  title = {Preface},
  author = {Olivier Danvy and Peter W. O Hearn and Philip Wadler},
  year = {2007},
  doi = {10.1016/j.tcs.2006.12.024},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.12.024},
  researchr = {https://researchr.org/publication/DanvyOW07},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {375},
  number = {1-3},
  pages = {1-2},
}

@inproceedings{Wadler95:0,
  title = {How to Declare an Imperative},
  author = {Philip Wadler},
  year = {1995},
  researchr = {https://researchr.org/publication/Wadler95%3A0},
  cites = {0},
  citedby = {0},
  pages = {18-32},
  booktitle = {ILPS},
}

@inproceedings{CheneyLW13,
  title = {A practical theory of language-integrated query},
  author = {James Cheney and Sam Lindley and Philip Wadler},
  year = {2013},
  doi = {10.1145/2500365.2500586},
  url = {http://doi.acm.org/10.1145/2500365.2500586},
  researchr = {https://researchr.org/publication/CheneyLW13},
  cites = {0},
  citedby = {0},
  pages = {403-416},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013},
  editor = {Greg Morrisett and Tarmo Uustalu},
  publisher = {ACM},
  isbn = {978-1-4503-2326-0},
}

@article{HallHJW96,
  title = {Type Classes in Haskell},
  author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip Wadler},
  year = {1996},
  doi = {10.1145/227699.227700},
  url = {http://doi.acm.org/10.1145/227699.227700},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HallHJW96},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {18},
  number = {2},
  pages = {109-138},
}

@article{Wadler87-0,
  title = {A critique of Abelson and Sussman or why calculating is better than scheming},
  author = {Philip Wadler},
  year = {1987},
  doi = {10.1145/24697.24706},
  url = {http://doi.acm.org/10.1145/24697.24706},
  researchr = {https://researchr.org/publication/Wadler87-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {22},
  number = {3},
  pages = {83-94},
}

@article{Wadler97,
  title = {How to Declare an Imperative},
  author = {Philip Wadler},
  year = {1997},
  doi = {10.1145/262009.262011},
  url = {http://doi.acm.org/10.1145/262009.262011},
  researchr = {https://researchr.org/publication/Wadler97},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {29},
  number = {3},
  pages = {240-263},
}

@article{JonesW03:0,
  title = {The Educational Pearls column},
  author = {Simon L. Peyton Jones and Philip Wadler},
  year = {2003},
  doi = {10.1017/S0956796803004787},
  url = {http://dx.doi.org/10.1017/S0956796803004787},
  researchr = {https://researchr.org/publication/JonesW03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {5},
  pages = {833-834},
}

@inproceedings{HallHPJW92,
  title = {The Glasgow Haskell Compiler: A Retrospective},
  author = {Cordelia V. Hall and Kevin Hammond and Will Partain and Simon L. Peyton Jones and Philip Wadler},
  year = {1992},
  tags = {Haskell, compiler},
  researchr = {https://researchr.org/publication/HallHPJW92},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@inproceedings{WadlerB89,
  title = {How to Make ad-hoc Polymorphism Less ad-hoc},
  author = {Philip Wadler and Stephen Blott},
  year = {1989},
  researchr = {https://researchr.org/publication/WadlerB89},
  cites = {0},
  citedby = {0},
  pages = {60-76},
  booktitle = {POPL},
}

@inproceedings{Wadler85:1,
  title = {How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages},
  author = {Philip Wadler},
  year = {1985},
  tags = {laziness, pattern language, exceptions, pattern matching},
  researchr = {https://researchr.org/publication/Wadler85%3A1},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {Functional Programming Languages and Computer Architecture},
  volume = {201},
  series = {Lecture Notes in Computer Science},
  address = {Nancy, France},
  publisher = {Springer-Verlag},
}

@inproceedings{HallHJW94,
  title = {Type Classes in Haskell},
  author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip Wadler},
  year = {1994},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HallHJW94},
  cites = {0},
  citedby = {0},
  pages = {241-256},
  booktitle = {Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  editor = {Donald Sannella},
  volume = {788},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57880-3},
}

@inproceedings{Wadler01,
  title = {Et tu, XML? The downfall of the relational empire (abstract)},
  author = {Philip Wadler},
  year = {2001},
  url = {http://www.vldb.org/conf/2001/P015.pdf},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/Wadler01},
  cites = {0},
  citedby = {0},
  pages = {15},
  booktitle = {VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy},
  editor = {Peter M. G. Apers and Paolo Atzeni and Stefano Ceri and Stefano Paraboschi and Kotagiri Ramamohanarao and Richard T. Snodgrass},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-804-4},
}

@article{Wadler76,
  title = {Analysis of an Algorithm for Real Time Garbage Collection},
  author = {Philip Wadler},
  year = {1976},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Wadler76},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {19},
  number = {9},
  pages = {491-500},
}

@inproceedings{Wadler05,
  title = {Call-by-Value Is Dual to Call-by-Name - Reloaded},
  author = {Philip Wadler},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3467&spage=185},
  researchr = {https://researchr.org/publication/Wadler05},
  cites = {0},
  citedby = {0},
  pages = {185-203},
  booktitle = {Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings},
  editor = {Jürgen Giesl},
  volume = {3467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25596-6},
}

@inproceedings{BrownFRW01,
  title = {MSL - a model for W3C XML schema},
  author = {Allen Brown and Matthew Fuchs and Jonathan Robie and Philip Wadler},
  year = {2001},
  doi = {10.1145/371920.371982},
  url = {http://doi.acm.org/10.1145/371920.371982},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/BrownFRW01},
  cites = {0},
  citedby = {0},
  pages = {191-200},
  booktitle = {WWW},
}

@inproceedings{HudakHJW07,
  title = {A history of Haskell: being lazy with class},
  author = {Paul Hudak and John Hughes and Simon L. Peyton Jones and Philip Wadler},
  year = {2007},
  doi = {10.1145/1238844.1238856},
  url = {http://doi.acm.org/10.1145/1238844.1238856},
  tags = {laziness, Haskell, history},
  researchr = {https://researchr.org/publication/HudakHJW07},
  cites = {0},
  citedby = {0},
  pages = {1-55},
  booktitle = {Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
  editor = {Barbara G. Ryder and Brent Hailpern},
  publisher = {ACM},
}

@inproceedings{Wadler85:0,
  title = {Listlessness is better than laziness II: composing listless functions},
  author = {Philip Wadler},
  year = {1985},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Wadler85%3A0},
  cites = {0},
  citedby = {0},
  pages = {282-305},
  booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985},
  editor = {Harald Ganzinger and Neil D. Jones},
  volume = {217},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16446-4},
}

@inproceedings{WadlerF09,
  title = {Well-Typed Programs Can t Be Blamed},
  author = {Philip Wadler and Robby Findler},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_1},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_1},
  researchr = {https://researchr.org/publication/WadlerF09},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@article{SabryW97,
  title = {A Reflection on Call-by-Value},
  author = {Amr Sabry and Philip Wadler},
  year = {1997},
  doi = {10.1145/267959.269968},
  url = {http://doi.acm.org/10.1145/267959.269968},
  tags = {reflection},
  researchr = {https://researchr.org/publication/SabryW97},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {19},
  number = {6},
  pages = {916-941},
}

@inproceedings{BruceOW98,
  title = {A Statically Safe Alternative to Virtual Types},
  author = {Kim B. Bruce and Martin Odersky and Philip Wadler},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450523.htm},
  researchr = {https://researchr.org/publication/BruceOW98},
  cites = {0},
  citedby = {0},
  pages = {523-549},
  booktitle = {ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Eric Jul},
  volume = {1445},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64737-6},
}

@article{Wadler87:0,
  title = {Fixing some Space Leaks with a Garbage Collector},
  author = {Philip Wadler},
  year = {1987},
  researchr = {https://researchr.org/publication/Wadler87%3A0},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {17},
  number = {9},
  pages = {595-608},
}

@inproceedings{WadlerH87,
  title = {Projections for strictness analysis},
  author = {Philip Wadler and R. J. M. Hughes},
  year = {1987},
  tags = {analysis},
  researchr = {https://researchr.org/publication/WadlerH87},
  cites = {0},
  citedby = {0},
  pages = {385-407},
  booktitle = {Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings},
  editor = {Gilles Kahn},
  volume = {274},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18317-5},
}

@inproceedings{ChapmanKNW19,
  title = {System F in Agda, for Fun and Profit},
  author = {James Chapman and Roman Kireev and Chad Nester and Philip Wadler},
  year = {2019},
  doi = {10.1007/978-3-030-33636-3_10},
  url = {https://doi.org/10.1007/978-3-030-33636-3_10},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/ChapmanKNW19},
  cites = {0},
  citedby = {0},
  pages = {255-297},
  booktitle = {Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
  editor = {Graham Hutton},
  volume = {11825},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-33636-3},
}

@inproceedings{CooperW09,
  title = {The RPC calculus},
  author = {Ezra Cooper and Philip Wadler},
  year = {2009},
  doi = {10.1145/1599410.1599439},
  url = {http://doi.acm.org/10.1145/1599410.1599439},
  researchr = {https://researchr.org/publication/CooperW09},
  cites = {0},
  citedby = {0},
  pages = {231-242},
  booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal},
  editor = {Antonio Porto and Francisco Javier Lapez-Fraguas},
  publisher = {ACM},
  isbn = {978-1-60558-568-0},
}

@inproceedings{IgarashiPW99,
  title = {Featherwieght Java: A Minimal Core Calculus for Java and GJ},
  author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  year = {1999},
  doi = {10.1145/320384.320395},
  url = {http://doi.acm.org/10.1145/320384.320395},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/IgarashiPW99},
  cites = {0},
  citedby = {0},
  pages = {132-146},
  booktitle = {OOPSLA},
}

@article{LindleyWY11,
  title = {Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous},
  author = {Sam Lindley and Philip Wadler and Jeremy Yallop},
  year = {2011},
  doi = {10.1016/j.entcs.2011.02.018},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.02.018},
  researchr = {https://researchr.org/publication/LindleyWY11},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {229},
  number = {5},
  pages = {97-117},
}

@inproceedings{MarlowW97,
  title = {A Practical Subtyping System For Erlang},
  author = {Simon Marlow and Philip Wadler},
  year = {1997},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/MarlowW97},
  cites = {0},
  citedby = {0},
  pages = {136-149},
  booktitle = {ICFP},
}

@inproceedings{FernandezSW00,
  title = {An Algebra for XML Query},
  author = {Mary F. Fernández and Jérôme Siméon and Philip Wadler},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1974/19740011.htm},
  tags = {XML, XML Schema,  algebra},
  researchr = {https://researchr.org/publication/FernandezSW00},
  cites = {0},
  citedby = {0},
  pages = {11-45},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings},
  editor = {Sanjiv Kapoor and Sanjiva Prasad},
  volume = {1974},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41413-4},
}

@article{ThompsonW93,
  title = {Functional Programming in Education - Introduction},
  author = {Simon J. Thompson and Philip Wadler},
  year = {1993},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/ThompsonW93},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {3},
  number = {1},
  pages = {3-4},
}

@inproceedings{Wadler95:1,
  title = {Monads for Functional Programming},
  author = {Philip Wadler},
  year = {1995},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/Wadler95%3A1},
  cites = {0},
  citedby = {0},
  pages = {24-52},
  booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text},
  editor = {Johan  Jeuring and Erik Meijer},
  volume = {925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59451-5},
}

@inproceedings{Wadler84,
  title = {Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time},
  author = {Philip Wadler},
  year = {1984},
  tags = {laziness, compiler},
  researchr = {https://researchr.org/publication/Wadler84},
  cites = {0},
  citedby = {0},
  pages = {45-52},
  booktitle = {Proceedings of the ACM Symposium on LISP and Functional Programming},
  series = {LFP '84},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}

@inproceedings{Wadler12,
  title = {Propositions as sessions},
  author = {Philip Wadler},
  year = {2012},
  doi = {10.1145/2364527.2364568},
  url = {http://doi.acm.org/10.1145/2364527.2364568},
  researchr = {https://researchr.org/publication/Wadler12},
  cites = {0},
  citedby = {0},
  pages = {273-286},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  editor = {Peter Thiemann and Robby Bruce Findler},
  publisher = {ACM},
  isbn = {978-1-4503-1054-3},
}

@inproceedings{BrachaOSW98,
  title = {Making the Future Safe for the Past: Adding Genericity to the Java Programming Language},
  author = {Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler},
  year = {1998},
  doi = {10.1145/286936.286957},
  url = {http://doi.acm.org/10.1145/286936.286957},
  tags = {programming languages, Java, generic programming, programming},
  researchr = {https://researchr.org/publication/BrachaOSW98},
  cites = {0},
  citedby = {0},
  pages = {183-200},
  booktitle = {OOPSLA},
}

@article{TurnerW99,
  title = {Operational Interpretations of Linear Logic},
  author = {David N. Turner and Philip Wadler},
  year = {1999},
  doi = {10.1016/S0304-3975(99)00054-7},
  url = {http://dx.doi.org/10.1016/S0304-3975(99)00054-7},
  tags = {logic},
  researchr = {https://researchr.org/publication/TurnerW99},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {227},
  number = {1-2},
  pages = {231-248},
}

@article{MaraistOW98,
  title = {The Call-by-Need Lambda Calculus},
  author = {John Maraist and Martin Odersky and Philip Wadler},
  year = {1998},
  researchr = {https://researchr.org/publication/MaraistOW98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {3},
  pages = {275-317},
}

@inproceedings{SabryW96,
  title = {A Reflection on Call-by-Value},
  author = {Amr Sabry and Philip Wadler},
  year = {1996},
  tags = {reflection},
  researchr = {https://researchr.org/publication/SabryW96},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {ICFP},
}

@inproceedings{Wadler92:0,
  title = {The Essence of Functional Programming},
  author = {Philip Wadler},
  year = {1992},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/Wadler92%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-14},
  booktitle = {POPL},
}

@article{FaselHPW92,
  title = {SIGPLAN Notices Special Issue on the Functional Programming Language Haskell},
  author = {Joseph H. Fasel and Paul Hudak and Simon L. Peyton Jones and Philip Wadler},
  year = {1992},
  tags = {programming languages, functional programming, Haskell, programming},
  researchr = {https://researchr.org/publication/FaselHPW92},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {27},
  number = {5},
  pages = {1},
}

@inproceedings{Wadler95,
  title = {Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)},
  author = {Philip Wadler},
  year = {1995},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/Wadler95},
  cites = {0},
  citedby = {0},
  pages = {117},
  booktitle = {Memory Management, International Workshop IWMM 95, Kinross, UK, September 27-29, 1995, Proceedings},
  editor = {Henry G. Baker},
  volume = {986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60368-9},
}

@inproceedings{CooperLWY06,
  title = {Links: Web Programming Without Tiers},
  author = {Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop},
  year = {2006},
  doi = {10.1007/978-3-540-74792-5_12},
  url = {http://dx.doi.org/10.1007/978-3-540-74792-5_12},
  tags = {programming languages, web programming, JavaScript, Java, translation, SQL, AJAX, source-to-source, compiler, web applications, programming, database, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/CooperLWY06},
  cites = {0},
  citedby = {1},
  pages = {266-296},
  booktitle = {Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {4709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74791-8},
}

@inproceedings{JonesW07,
  title = {Comprehensive comprehensions},
  author = {Simon L. Peyton Jones and Philip Wadler},
  year = {2007},
  doi = {10.1145/1291201.1291209},
  url = {http://doi.acm.org/10.1145/1291201.1291209},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/JonesW07},
  cites = {0},
  citedby = {0},
  pages = {61-72},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007},
  editor = {Gabriele Keller},
  publisher = {ACM},
  isbn = {978-1-59593-674-5},
}

@article{Wadler98a,
  title = {Why No One Uses Functional Languages},
  author = {Philip Wadler},
  year = {1998},
  researchr = {https://researchr.org/publication/Wadler98a},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {33},
  number = {8},
  pages = {23-27},
}

@book{0080637,
  title = {Einführung in die funktionale Programmierung},
  author = {Richard S. Bird and Philip Wadler},
  year = {1992},
  researchr = {https://researchr.org/publication/0080637},
  cites = {0},
  citedby = {0},
  series = {Hanser Studienbücher der Informatik},
  publisher = {Hanser},
  isbn = {978-3-446-17001-8},
}

@inproceedings{LaunchburyGHMJW92,
  title = {Avoiding Unnecessary Updates},
  author = {John Launchbury and Andy Gill and John Hughes and Simon Marlow and Simon L. Peyton Jones and Philip Wadler},
  year = {1992},
  researchr = {https://researchr.org/publication/LaunchburyGHMJW92},
  cites = {0},
  citedby = {0},
  pages = {144-153},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@inproceedings{AriolaFMOW95,
  title = {The Call-by-Need Lambda Calculus},
  author = {Zena M. Ariola and Matthias Felleisen and John Maraist and Martin Odersky and Philip Wadler},
  year = {1995},
  researchr = {https://researchr.org/publication/AriolaFMOW95},
  cites = {0},
  citedby = {0},
  pages = {233-246},
  booktitle = {POPL},
}

@inproceedings{AhmedFSW11,
  title = {Blame for all},
  author = {Amal Ahmed and Robby Findler and Jeremy G. Siek and Philip Wadler},
  year = {2011},
  doi = {10.1145/1926385.1926409},
  url = {http://doi.acm.org/10.1145/1926385.1926409},
  researchr = {https://researchr.org/publication/AhmedFSW11},
  cites = {0},
  citedby = {0},
  pages = {201-214},
  booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011},
  editor = {Thomas Ball and Mooly Sagiv},
  publisher = {ACM},
  isbn = {978-1-4503-0490-0},
}

@inproceedings{Wadler90,
  title = {Comprehending Monads},
  author = {Philip Wadler},
  year = {1990},
  doi = {10.1145/91556.91592},
  url = {http://doi.acm.org/10.1145/91556.91592},
  researchr = {https://researchr.org/publication/Wadler90},
  cites = {0},
  citedby = {1},
  pages = {61-78},
  booktitle = {LISP and Functional Programming},
}

@inproceedings{Wadler88:0,
  title = {Strictness Analysis Aids Time Analysis},
  author = {Philip Wadler},
  year = {1988},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Wadler88%3A0},
  cites = {0},
  citedby = {0},
  pages = {119-132},
  booktitle = {POPL},
}

@inproceedings{JonesW93,
  title = {Imperative Functional Programming},
  author = {Simon L. Peyton Jones and Philip Wadler},
  year = {1993},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/JonesW93},
  cites = {0},
  citedby = {0},
  pages = {71-84},
  booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@inproceedings{LindleyW10,
  title = {The Audacity of Hope: Thoughts on Reclaiming the Database Dream},
  author = {Sam Lindley and Philip Wadler},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_1},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_1},
  tags = {database},
  researchr = {https://researchr.org/publication/LindleyW10},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {Andrew D. Gordon},
  volume = {6012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11956-9},
}

@inproceedings{Wadler93:0,
  title = {A Syntax for Linear Logic},
  author = {Philip Wadler},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/Wadler93%3A0},
  cites = {0},
  citedby = {0},
  pages = {513-529},
  booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
  editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
  volume = {802},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58027-1},
}

@inproceedings{OderskyW97,
  title = {Pizza into Java: Translating Theory into Practice},
  author = {Martin Odersky and Philip Wadler},
  year = {1997},
  doi = {10.1145/263699.263715},
  url = {http://doi.acm.org/10.1145/263699.263715},
  tags = {Java, translation},
  researchr = {https://researchr.org/publication/OderskyW97},
  cites = {0},
  citedby = {0},
  pages = {146-159},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@article{MaraistOTW99,
  title = {Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},
  author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
  year = {1999},
  doi = {10.1016/S0304-3975(98)00358-2},
  url = {http://dx.doi.org/10.1016/S0304-3975(98)00358-2},
  researchr = {https://researchr.org/publication/MaraistOTW99},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {228},
  number = {1-2},
  pages = {175-210},
}

@inproceedings{HullTW07b,
  title = {07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services},
  author = {Richard Hull and Peter Thiemann and Philip Wadler},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1128},
  tags = {web service, programming paradigms, web services, programming},
  researchr = {https://researchr.org/publication/HullTW07b},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007},
  editor = {Richard Hull and Peter Thiemann and Philip Wadler},
  volume = {07051},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{KingW92,
  title = {Combining Monads},
  author = {David J. King and Philip Wadler},
  year = {1992},
  researchr = {https://researchr.org/publication/KingW92},
  cites = {0},
  citedby = {0},
  pages = {134-143},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@inproceedings{CooperLWY08,
  title = {The Essence of Form Abstraction},
  author = {Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop},
  year = {2008},
  doi = {10.1007/978-3-540-89330-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-89330-1_15},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CooperLWY08},
  cites = {0},
  citedby = {0},
  pages = {205-220},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings},
  editor = {Ganesan Ramalingam},
  volume = {5356},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89329-5},
}

@inproceedings{Wadler06,
  title = {Faith, evolution, and programming languages: from Haskell to Java to links},
  author = {Philip Wadler},
  year = {2006},
  doi = {10.1145/1176617.1176623},
  url = {http://doi.acm.org/10.1145/1176617.1176623},
  tags = {programming languages, Java, Haskell, programming},
  researchr = {https://researchr.org/publication/Wadler06},
  cites = {0},
  citedby = {0},
  pages = {508},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@article{Wadler03-0,
  title = {Call-by-value is dual to call-by-name},
  author = {Philip Wadler},
  year = {2003},
  doi = {10.1145/944746.944723},
  url = {http://doi.acm.org/10.1145/944746.944723},
  researchr = {https://researchr.org/publication/Wadler03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {38},
  number = {9},
  pages = {189-201},
}

@inproceedings{OderskyRW98,
  title = {Two Ways to Bake Your Pizza - Translating Parameterised Types into Java},
  author = {Martin Odersky and Enno Runne and Philip Wadler},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1766/17660114.htm},
  tags = {Java, translation},
  researchr = {https://researchr.org/publication/OderskyRW98},
  cites = {0},
  citedby = {0},
  pages = {114-132},
  booktitle = {Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  editor = {Mehdi Jazayeri and Rüdiger Loos and David R. Musser},
  volume = {1766},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41090-2},
}

@inproceedings{Wadler98,
  title = {The Marriage of Effects and Monads},
  author = {Philip Wadler},
  year = {1998},
  doi = {10.1145/289423.289429},
  url = {http://doi.acm.org/10.1145/289423.289429},
  researchr = {https://researchr.org/publication/Wadler98},
  cites = {0},
  citedby = {0},
  pages = {63-74},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@book{0017180,
  title = {Java generics and collections - speed up the Java development process},
  author = {Maurice Naftalin and Philip Wadler},
  year = {2006},
  url = {http://www.oreilly.de/catalog/javagenerics/index.html},
  tags = {Java},
  researchr = {https://researchr.org/publication/0017180},
  cites = {0},
  citedby = {0},
  publisher = {O Reilly},
  isbn = {978-0-596-52775-4},
}

@inproceedings{Wadler91,
  title = {Is There a Use for Linear Logic?},
  author = {Philip Wadler},
  year = {1991},
  tags = {logic},
  researchr = {https://researchr.org/publication/Wadler91},
  cites = {0},
  citedby = {0},
  pages = {255-273},
  booktitle = {PEPM},
}

@inproceedings{Wadler14-0,
  title = {You and Your Research and the Elements of Style},
  author = {Philip Wadler},
  year = {2014},
  doi = {10.4230/OASIcs.ICCSW.2014.2},
  url = {http://dx.doi.org/10.4230/OASIcs.ICCSW.2014.2},
  researchr = {https://researchr.org/publication/Wadler14-0},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {2014 Imperial College Computing Student Workshop, ICCSW 2014, September 25-26, 2014, London, United Kingdom},
  editor = {Rumyana Neykova and Nicholas Ng},
  volume = {43},
  series = {OASICS},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-76-7},
}

@inproceedings{HullTW07,
  title = {07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services},
  author = {Richard Hull and Peter Thiemann and Philip Wadler},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1125},
  tags = {web programming, web service, data-flow programming, data-flow, programming paradigms, web services, programming, systematic-approach},
  researchr = {https://researchr.org/publication/HullTW07},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007},
  editor = {Richard Hull and Peter Thiemann and Philip Wadler},
  volume = {07051},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{HeWT14,
  title = {Typecasting actors: from Akka to TAkka},
  author = {Jiansen He and Philip Wadler and Philip W. Trinder},
  year = {2014},
  doi = {10.1145/2637647.2637651},
  url = {http://doi.acm.org/10.1145/2637647.2637651},
  researchr = {https://researchr.org/publication/HeWT14},
  cites = {0},
  citedby = {0},
  pages = {23-33},
  booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014},
  editor = {Philipp Haller and Heather Miller},
  publisher = {ACM},
  isbn = {978-1-4503-2868-5},
}

@article{Wadler96,
  title = {Lazy Versus Strict},
  author = {Philip Wadler},
  year = {1996},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Wadler96},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {28},
  number = {2},
  pages = {318-320},
}

@inproceedings{OderskyWW95,
  title = {A Second Look at Overloading},
  author = {Martin Odersky and Philip Wadler and Martin Wehr},
  year = {1995},
  researchr = {https://researchr.org/publication/OderskyWW95},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {FPCA},
}

@inproceedings{BentonW96,
  title = {Linear Logic, Monads and the Lambda Calculus},
  author = {P. N. Benton and Philip Wadler},
  year = {1996},
  tags = {logic},
  researchr = {https://researchr.org/publication/BentonW96},
  cites = {0},
  citedby = {0},
  pages = {420-431},
  booktitle = {LICS},
}

@inproceedings{HullTW07a,
  title = {07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services},
  author = {Richard Hull and Peter Thiemann and Philip Wadler},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1127},
  tags = {web service, programming paradigms, web services, programming},
  researchr = {https://researchr.org/publication/HullTW07a},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007},
  editor = {Richard Hull and Peter Thiemann and Philip Wadler},
  volume = {07051},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@article{Wadler92,
  title = {Comprehending Monads},
  author = {Philip Wadler},
  year = {1992},
  researchr = {https://researchr.org/publication/Wadler92},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {2},
  number = {4},
  pages = {461-493},
}

@inproceedings{SimeonW02,
  title = {The Essence of XML (Preliminary Version)},
  author = {Jérôme Siméon and Philip Wadler},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2441/24410021.htm},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/SimeonW02},
  cites = {0},
  citedby = {0},
  pages = {21-46},
  booktitle = {Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  editor = {Zhenjiang Hu and Mario Rodríguez-Artalejo},
  volume = {2441},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44233-2},
}

@article{Wadler14,
  title = {Propositions as sessions},
  author = {Philip Wadler},
  year = {2014},
  doi = {10.1017/S095679681400001X},
  url = {http://dx.doi.org/10.1017/S095679681400001X},
  researchr = {https://researchr.org/publication/Wadler14},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {24},
  number = {2-3},
  pages = {384-418},
}

@article{MaraistOTW95,
  title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
  author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
  year = {1995},
  url = {http://www.elsevier.com/gej-ng/31/29/23/26/23/show/Products/notes/index.htt#023},
  researchr = {https://researchr.org/publication/MaraistOTW95},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {1},
  pages = {370-392},
}

@inproceedings{Wadler89,
  title = {Theorems for Free!},
  author = {Philip Wadler},
  year = {1989},
  doi = {10.1145/99370.99404},
  url = {http://doi.acm.org/10.1145/99370.99404},
  researchr = {https://researchr.org/publication/Wadler89},
  cites = {0},
  citedby = {0},
  pages = {347-359},
  booktitle = {FPCA},
}

@article{Wadler94,
  title = {Monads and Composable Continuations},
  author = {Philip Wadler},
  year = {1994},
  researchr = {https://researchr.org/publication/Wadler94},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {7},
  number = {1},
  pages = {39-56},
}

@inproceedings{SiekTW15,
  title = {Blame and coercion: together again for the first time},
  author = {Jeremy G. Siek and Peter Thiemann and Philip Wadler},
  year = {2015},
  doi = {10.1145/2737924.2737968},
  url = {http://doi.acm.org/10.1145/2737924.2737968},
  researchr = {https://researchr.org/publication/SiekTW15},
  cites = {0},
  citedby = {0},
  pages = {425-435},
  booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
  editor = {David Grove and Steve Blackburn},
  publisher = {ACM},
  isbn = {978-1-4503-3468-6},
}

@article{Wadler90:0,
  title = {Deforestation: Transforming Programs to Eliminate Trees},
  author = {Philip Wadler},
  year = {1990},
  researchr = {https://researchr.org/publication/Wadler90%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {73},
  number = {2},
  pages = {231-248},
}

@inproceedings{SimeonW03,
  title = {The essence of XML},
  author = {Jérôme Siméon and Philip Wadler},
  year = {2003},
  doi = {10.1145/640128.604132},
  url = {http://doi.acm.org/10.1145/640128.604132},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/SimeonW03},
  cites = {0},
  citedby = {1},
  pages = {1-13},
  booktitle = {POPL},
}

@inproceedings{CheneyLRW14,
  title = {Effective quotation: relating approaches to language-integrated query},
  author = {James Cheney and Sam Lindley and Gabriel Radanne and Philip Wadler},
  year = {2014},
  doi = {10.1145/2543728.2543738},
  url = {http://doi.acm.org/10.1145/2543728.2543738},
  researchr = {https://researchr.org/publication/CheneyLRW14},
  cites = {0},
  citedby = {0},
  pages = {15-26},
  booktitle = {Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA},
  editor = {Wei-Ngan Chin and Jurriaan Hage},
  publisher = {ACM},
  isbn = {978-1-4503-2619-3},
}

@inproceedings{CheneyLW14,
  title = {Query shredding: efficient relational evaluation of queries over nested multisets},
  author = {James Cheney and Sam Lindley and Philip Wadler},
  year = {2014},
  doi = {10.1145/2588555.2612186},
  url = {http://doi.acm.org/10.1145/2588555.2612186},
  researchr = {https://researchr.org/publication/CheneyLW14},
  cites = {0},
  citedby = {0},
  pages = {1027-1038},
  booktitle = {International Conference on Management of Data, SIGMOD 2014, Snowbird, UT, USA, June 22-27, 2014},
  editor = {Curtis E. Dyreson and Feifei Li and M. Tamer Özsu},
  publisher = {ACM},
  isbn = {978-1-4503-2376-5},
}

@article{WadlerT03,
  title = {The marriage of effects and monads},
  author = {Philip Wadler and Peter Thiemann},
  year = {2003},
  doi = {10.1145/601775.601776},
  url = {http://doi.acm.org/10.1145/601775.601776},
  researchr = {https://researchr.org/publication/WadlerT03},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {4},
  number = {1},
  pages = {1-32},
}

@article{LindleyWY10,
  title = {The arrow calculus},
  author = {Sam Lindley and Philip Wadler and Jeremy Yallop},
  year = {2010},
  doi = {10.1017/S095679680999027X},
  url = {http://dx.doi.org/10.1017/S095679680999027X},
  researchr = {https://researchr.org/publication/LindleyWY10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {20},
  number = {1},
  pages = {51-69},
}

@inproceedings{TurnerWM95,
  title = {Once Upon a Type},
  author = {David N. Turner and Philip Wadler and Christian Mossin},
  year = {1995},
  researchr = {https://researchr.org/publication/TurnerWM95},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {FPCA},
}

@inproceedings{FernandezSW01,
  title = {A Semi-monad for Semi-structured Data},
  author = {Mary F. Fernández and Jérôme Siméon and Philip Wadler},
  year = {2001},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/FernandezSW01},
  cites = {0},
  citedby = {0},
  pages = {263-300},
  booktitle = {Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings},
  editor = {Jan Van den Bussche and Victor Vianu},
  volume = {1973},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41456-8},
}

@inproceedings{Wadler01:0,
  title = {The Girard-Reynolds Isomorphism},
  author = {Philip Wadler},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2215/22150468.htm},
  researchr = {https://researchr.org/publication/Wadler01%3A0},
  cites = {0},
  citedby = {0},
  pages = {468-491},
  booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  editor = {Naoki Kobayashi and Benjamin C. Pierce},
  volume = {2215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42736-8},
}

@article{HudakPWBFFGHHJKNPP92,
  title = {Report on the Programming Language Haskell, A Non-strict, Purely Functional Language},
  author = {Paul Hudak and Simon L. Peyton Jones and Philip Wadler and Brian Boutel and Jon Fairbairn and Joseph H. Fasel and María M. Guzmán and Kevin Hammond and John Hughes and Thomas Johnsson and Richard B. Kieburtz and Rishiyur S. Nikhil and Will Partain and John Peterson},
  year = {1992},
  tags = {programming languages, functional programming, Haskell, programming},
  researchr = {https://researchr.org/publication/HudakPWBFFGHHJKNPP92},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {27},
  number = {5},
  pages = {1},
}

@inproceedings{Wadler87,
  title = {Views: A Way for Pattern Matching to Cohabit with Data Abstraction},
  author = {Philip Wadler},
  year = {1987},
  tags = {data-flow, pattern matching, abstraction},
  researchr = {https://researchr.org/publication/Wadler87},
  cites = {0},
  citedby = {0},
  pages = {307-313},
  booktitle = {POPL},
}

@article{Wadler85,
  title = {A Simple Language is also a Functional Language},
  author = {Philip Wadler},
  year = {1985},
  researchr = {https://researchr.org/publication/Wadler85},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {15},
  number = {2},
  pages = {219},
}

@article{BrownFRW02,
  title = {MSL: a model for W3C XML Schema},
  author = {Allen Brown and Matthew Fuchs and Jonathan Robie and Philip Wadler},
  year = {2002},
  doi = {10.1016/S1389-1286(02)00225-6},
  url = {http://dx.doi.org/10.1016/S1389-1286(02)00225-6},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/BrownFRW02},
  cites = {0},
  citedby = {0},
  journal = {Computer Networks},
  volume = {39},
  number = {5},
  pages = {507-521},
}

@inproceedings{Wadler88,
  title = {Deforestation: Transforming Programs to Eliminate Trees},
  author = {Philip Wadler},
  year = {1988},
  researchr = {https://researchr.org/publication/Wadler88},
  cites = {0},
  citedby = {0},
  pages = {344-358},
  booktitle = {ESOP  88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings},
  editor = {Harald Ganzinger},
  volume = {300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19027-9},
}

@article{Wadler98:0,
  title = {An Angry Half-Dozen},
  author = {Philip Wadler},
  year = {1998},
  researchr = {https://researchr.org/publication/Wadler98%3A0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {33},
  number = {2},
  pages = {25-30},
}

@inproceedings{Wadler03,
  title = {Call-by-value is dual to call-by-name},
  author = {Philip Wadler},
  year = {2003},
  doi = {10.1145/944705.944723},
  url = {http://doi.acm.org/10.1145/944705.944723},
  researchr = {https://researchr.org/publication/Wadler03},
  cites = {0},
  citedby = {0},
  pages = {189-201},
  booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003},
  editor = {Colin Runciman and Olin Shivers},
  publisher = {ACM},
  isbn = {1-58113-756-7},
}

@inproceedings{Wadler15,
  title = {A Complement to Blame},
  author = {Philip Wadler},
  year = {2015},
  doi = {10.4230/LIPIcs.SNAPL.2015.309},
  url = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.309},
  researchr = {https://researchr.org/publication/Wadler15},
  cites = {0},
  citedby = {0},
  pages = {309-320},
  booktitle = {1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA},
  editor = {Thomas Ball and Rastislav Bodík and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  volume = {32},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-80-4},
}

@inproceedings{Wadler86,
  title = {A new array operation},
  author = {Philip Wadler},
  year = {1986},
  researchr = {https://researchr.org/publication/Wadler86},
  cites = {0},
  citedby = {0},
  pages = {328-335},
  booktitle = {Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986},
  editor = {Joseph H. Fasel and Robert M. Keller},
  volume = {279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18420-1},
}

@inproceedings{Wadler97:0,
  title = {Functional Programming: An Angry Half-Dozen},
  author = {Philip Wadler},
  year = {1997},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/Wadler97%3A0},
  cites = {0},
  citedby = {0},
  pages = {25-34},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  editor = {Sophie Cluet and Richard Hull},
  volume = {1369},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64823-2},
}
@proceedings{fp:1991,
  title = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991},
  year = {1992},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/fp%3A1991},
  cites = {0},
  citedby = {0},
  booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991},
  editor = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19760-5},
}

@proceedings{flops:2006,
  title = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  year = {2006},
  tags = {functional programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/flops%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  conference = {FLOPS},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@proceedings{padl:2003,
  title = {Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
  year = {2003},
  researchr = {https://researchr.org/publication/padl%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
  conference = {PADL},
  editor = {Verónica Dahl and Philip Wadler},
  volume = {2562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00389-4},
}

@proceedings{icfp-2000,
  title = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000},
  year = {2000},
  note = {SIGPLAN Notices 35(9), September 2000},
  researchr = {https://researchr.org/publication/icfp-2000},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000},
  conference = {ICFP},
  editor = {Martin Odersky and Philip Wadler},
  publisher = {ACM},
  isbn = {1-58113-202-6},
}

@proceedings{erlang:2004,
  title = {Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004},
  year = {2004},
  researchr = {https://researchr.org/publication/erlang%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004},
  conference = {erlang},
  editor = {Francesco Cesarini and Philip Wadler},
  publisher = {ACM},
  isbn = {1-58113-918-7},
}

@proceedings{popl:2008,
  title = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  year = {2008},
  tags = {programming languages, principles, programming},
  researchr = {https://researchr.org/publication/popl%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  conference = {POPL},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@proceedings{dagstuhl:2007P7051,
  title = {Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007},
  year = {2007},
  tags = {web service, programming paradigms, web services, programming},
  researchr = {https://researchr.org/publication/dagstuhl%3A2007P7051},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007},
  conference = {Dagstuhl},
  editor = {Richard Hull and Peter Thiemann and Philip Wadler},
  volume = {07051},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}