@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 = {fp},
}

@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 = {TCS},
  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 = {JFP},
  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 = {mfcs},
}

@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 = {fp},
}

@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 = {afp},
}

@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 = {POPL},
}

@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 = {mala},
  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 = {iandc},
  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 = {TOPLAS},
  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 = {TCS},
  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 = {SLP},
}

@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 = {ICFP},
}

@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 = {TOPLAS},
  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},
  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 Comput. Surv.},
  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 = {JFP},
  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 = {fp},
}

@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 = {fpca},
}

@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 = {ESOP},
}

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

@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 = {CACM},
  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 = {RTA},
}

@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 = {HOPL},
}

@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 = {pdo},
}

@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 = {ESOP},
}

@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 = {TOPLAS},
  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 = {ECOOP},
}

@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 = {SPE},
  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 = {fpca},
}

@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 = {mpc},
}

@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 = {ppdp},
}

@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 = {ENTCS},
  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 = {fsttcs},
}

@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 = {JFP},
  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 = {afp},
}

@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 = {lfp},
}

@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 = {ICFP},
}

@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 = {TCS},
  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 = {JFP},
  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},
  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 = {iwmm},
}

@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 = {FMCO},
}

@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 = {haskell},
}

@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},
  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 = {fp},
}

@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 = {POPL},
}

@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 = {lfp},
}

@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 = {POPL},
}

@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 = {ESOP},
}

@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 = {mfps},
}

@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 = {POPL},
}

@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 = {TCS},
  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 = {Dagstuhl},
}

@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 = {fp},
}

@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 = {aplas},
}

@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 = {OOPSLA},
}

@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},
  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 = {Dagstuhl},
}

@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 = {ICFP},
}

@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 = {iccsw},
}

@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 = {Dagstuhl},
}

@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 = {ECOOP},
}

@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 Comput. Surv.},
  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 = {Dagstuhl},
}

@article{Wadler92,
  title = {Comprehending Monads},
  author = {Philip Wadler},
  year = {1992},
  researchr = {https://researchr.org/publication/Wadler92},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  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 = {FLOPS},
}

@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 = {JFP},
  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 = {ENTCS},
  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 = {lisp},
  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 = {PLDI},
}

@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 = {TCS},
  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 = {PEPM},
}

@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 = {SIGMOD},
}

@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 = {tocl},
  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 = {JFP},
  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 = {icdt},
}

@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 = {tacs},
}

@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},
  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 = {SPE},
  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 = {cn},
  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},
}

@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},
  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 = {ICFP},
}

@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 = {SNAPL},
}

@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 = {gr},
}

@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 = {DBPL},
}
@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},
  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},
}