Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philip Wadler
@book{DBLP:series/utcs/SannellaFPW21,
author = {Donald Sannella and
Michael Fourman and
Haoran Peng and
Philip Wadler},
title = {Introduction to Computation - Haskell, Logic and Automata},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76908-6},
doi = {10.1007/978-3-030-76908-6},
isbn = {978-3-030-76907-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/utcs/SannellaFPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SiekTW21,
author = {Jeremy G. Siek and
Peter Thiemann and
Philip Wadler},
title = {Blame and coercion: Together again for the first time},
journal = {J. Funct. Program.},
volume = {31},
pages = {e20},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000101},
doi = {10.1017/S0956796821000101},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SiekTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DuranW21,
author = {Adolfo Duran and
Philip Wadler},
title = {Preface - 22nd Brazilian Symposium on Formal Methods - {SBMF} 2019},
journal = {Sci. Comput. Program.},
volume = {201},
pages = {102565},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102565},
doi = {10.1016/J.SCICO.2020.102565},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DuranW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Wadler21,
author = {Philip Wadler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{GATE:} Gradual Effect Types},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {335--345},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_21},
doi = {10.1007/978-3-030-89159-6\_21},
timestamp = {Thu, 14 Oct 2021 09:48:48 +0200},
biburl = {https://dblp.org/rec/conf/isola/Wadler21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AbelCDTW20,
author = {Andreas Abel and
Jesper Cockx and
Dominique Devriese and
Amin Timany and
Philip Wadler},
title = {Leibniz equality is isomorphic to Martin-L{\"{o}}f identity,
parametrically},
journal = {J. Funct. Program.},
volume = {30},
pages = {e17},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000155},
doi = {10.1017/S0956796820000155},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AbelCDTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KokkeMW20,
author = {Wen Kokke and
J. Garrett Morris and
Philip Wadler},
title = {Towards Races in Linear Logic},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6979},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KokkeMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GriesemerHKLTTW20,
author = {Robert Griesemer and
Raymond Hu and
Wen Kokke and
Julien Lange and
Ian Lance Taylor and
Bernardo Toninho and
Philip Wadler and
Nobuko Yoshida},
title = {Featherweight go},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {149:1--149:29},
year = {2020},
url = {https://doi.org/10.1145/3428217},
doi = {10.1145/3428217},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GriesemerHKLTTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KokkeSW20,
author = {Wen Kokke and
Jeremy G. Siek and
Philip Wadler},
title = {Programming language foundations in Agda},
journal = {Sci. Comput. Program.},
volume = {194},
pages = {102440},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102440},
doi = {10.1016/J.SCICO.2020.102440},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KokkeSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/Chakravarty0MMJ20,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Michael Peyton Jones and
Philip Wadler},
editor = {Matthew Bernhard and
Andrea Bracciali and
L. Jean Camp and
Shin'ichiro Matsuo and
Alana Maurushat and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {The Extended {UTXO} Model},
booktitle = {Financial Cryptography and Data Security - {FC} 2020 International
Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia,
February 14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12063},
pages = {525--539},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54455-3\_37},
doi = {10.1007/978-3-030-54455-3\_37},
timestamp = {Sun, 09 Aug 2020 16:11:05 +0200},
biburl = {https://dblp.org/rec/conf/fc/Chakravarty0MMJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chakravarty0MMM20,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Jann M{\"{u}}ller and
Michael Peyton Jones and
Polina Vinogradova and
Philip Wadler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Native Custom Tokens in the Extended {UTXO} Model},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {89--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_7},
doi = {10.1007/978-3-030-61467-6\_7},
timestamp = {Wed, 28 Oct 2020 11:47:58 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chakravarty0MMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chakravarty0MMM20a,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Jann M{\"{u}}ller and
Michael Peyton Jones and
Polina Vinogradova and
Philip Wadler and
Joachim Zahnentferner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {UTXO\({}_{\mbox{sf ma}}\): {UTXO} with Multi-asset Support},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {112--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_8},
doi = {10.1007/978-3-030-61467-6\_8},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chakravarty0MMM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2001-10274,
author = {Dominic Orchard and
Philip Wadler and
Harley Eades III},
editor = {Max S. New and
Sam Lindley},
title = {Unifying graded and parameterised monads},
booktitle = {Proceedings Eighth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020},
series = {{EPTCS}},
volume = {317},
pages = {18--38},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.317.2},
doi = {10.4204/EPTCS.317.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11710,
author = {Robert Griesemer and
Raymond Hu and
Wen Kokke and
Julien Lange and
Ian Lance Taylor and
Bernardo Toninho and
Philip Wadler and
Nobuko Yoshida},
title = {Featherweight Go},
journal = {CoRR},
volume = {abs/2005.11710},
year = {2020},
url = {https://arxiv.org/abs/2005.11710},
eprinttype = {arXiv},
eprint = {2005.11710},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/IgarashiTTVW19,
author = {Atsushi Igarashi and
Peter Thiemann and
Yuya Tsuda and
Vasco T. Vasconcelos and
Philip Wadler},
title = {Gradual session types},
journal = {J. Funct. Program.},
volume = {29},
pages = {e17},
year = {2019},
url = {https://doi.org/10.1017/S0956796819000169},
doi = {10.1017/S0956796819000169},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/IgarashiTTVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SchrijversOWM19,
author = {Tom Schrijvers and
Bruno C. d. S. Oliveira and
Philip Wadler and
Koar Marntirosian},
title = {{COCHIS:} Stable and coherent implicits},
journal = {J. Funct. Program.},
volume = {29},
pages = {e3},
year = {2019},
url = {https://doi.org/10.1017/S0956796818000242},
doi = {10.1017/S0956796818000242},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SchrijversOWM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KokkeMW19,
author = {Wen Kokke and
J. Garrett Morris and
Philip Wadler},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Towards Races in Linear Logic},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {37--53},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_3},
doi = {10.1007/978-3-030-22397-7\_3},
timestamp = {Wed, 05 Jun 2019 11:19:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KokkeMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ChapmanKNW19,
author = {James Chapman and
Roman Kireev and
Chad Nester and
Philip Wadler},
editor = {Graham Hutton},
title = {System {F} in Agda, for Fun and Profit},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {255--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_10},
doi = {10.1007/978-3-030-33636-3\_10},
timestamp = {Sat, 18 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/ChapmanKNW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JonesGKMNW19,
author = {Michael Peyton Jones and
Vasilis Gkoumas and
Roman Kireev and
Kenneth MacKenzie and
Chad Nester and
Philip Wadler},
editor = {Graham Hutton},
title = {Unraveling Recursion: Compiling an {IR} with Recursion to System {F}},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {414--443},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_15},
doi = {10.1007/978-3-030-33636-3\_15},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/JonesGKMNW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13376,
author = {Wen Kokke and
J. Garrett Morris and
Philip Wadler},
title = {Towards Races in Linear Logic},
journal = {CoRR},
volume = {abs/1909.13376},
year = {2019},
url = {http://arxiv.org/abs/1909.13376},
eprinttype = {arXiv},
eprint = {1909.13376},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-13376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WilliamsMW18,
author = {Jack Williams and
J. Garrett Morris and
Philip Wadler},
title = {The root cause of blame: contracts for intersection and union types},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {134:1--134:29},
year = {2018},
url = {https://doi.org/10.1145/3276504},
doi = {10.1145/3276504},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WilliamsMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VazouTCSNWJ18,
author = {Niki Vazou and
Anish Tondwalkar and
Vikraman Choudhury and
Ryan G. Scott and
Ryan R. Newton and
Philip Wadler and
Ranjit Jhala},
title = {Refinement reflection: complete verification with {SMT}},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {53:1--53:31},
year = {2018},
url = {https://doi.org/10.1145/3158141},
doi = {10.1145/3158141},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VazouTCSNWJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Wadler18,
author = {Philip Wadler},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Programming Language Foundations in Agda},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {56--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_5},
doi = {10.1007/978-3-030-03044-5\_5},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Wadler18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05649,
author = {Atsushi Igarashi and
Peter Thiemann and
Yuya Tsuda and
Vasco T. Vasconcelos and
Philip Wadler},
title = {Gradual Session Types},
journal = {CoRR},
volume = {abs/1809.05649},
year = {2018},
url = {http://arxiv.org/abs/1809.05649},
eprinttype = {arXiv},
eprint = {1809.05649},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/WilliamsMWZ17,
author = {Jack Williams and
J. Garrett Morris and
Philip Wadler and
Jakub Zalewski},
title = {Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {08:1--08:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.8},
doi = {10.4230/DARTS.3.2.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/WilliamsMWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Wadler17,
author = {Philip Wadler},
title = {Abstract Data Types without the Types.Dedicated to David Turner on
the occasion of his 70'th birthday},
journal = {J. Univers. Comput. Sci.},
volume = {23},
number = {1},
pages = {5--20},
year = {2017},
url = {http://www.jucs.org/jucs\_23\_1/abstract\_data\_types\_without},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Wadler17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/IgarashiTVW17,
author = {Atsushi Igarashi and
Peter Thiemann and
Vasco T. Vasconcelos and
Philip Wadler},
title = {Gradual session types},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {38:1--38:28},
year = {2017},
url = {https://doi.org/10.1145/3110282},
doi = {10.1145/3110282},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/IgarashiTVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AhmedJSW17,
author = {Amal Ahmed and
Dustin Jamner and
Jeremy G. Siek and
Philip Wadler},
title = {Theorems for free for free: parametricity, with and without types},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {39:1--39:28},
year = {2017},
url = {https://doi.org/10.1145/3110283},
doi = {10.1145/3110283},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AhmedJSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FowlerLW17,
author = {Simon Fowler and
Sam Lindley and
Philip Wadler},
editor = {Peter M{\"{u}}ller},
title = {Mixing Metaphors: Actors as Channels and Channels as Actors},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {11:1--11:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.11},
doi = {10.4230/LIPICS.ECOOP.2017.11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FowlerLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WilliamsMWZ17,
author = {Jack Williams and
J. Garrett Morris and
Philip Wadler and
Jakub Zalewski},
editor = {Peter M{\"{u}}ller},
title = {Mixed Messages: Measuring Conformance and Non-Interference in TypeScript},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {28:1--28:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.28},
doi = {10.4230/LIPICS.ECOOP.2017.28},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WilliamsMWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BottuKSOW17,
author = {Gert{-}Jan Bottu and
Georgios Karachalias and
Tom Schrijvers and
Bruno C. d. S. Oliveira and
Philip Wadler},
editor = {Iavor S. Diatchki},
title = {Quantified class constraints},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {148--161},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122967},
doi = {10.1145/3122955.3122967},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BottuKSOW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03842,
author = {Niki Vazou and
Anish Tondwalkar and
Vikraman Choudhury and
Ryan G. Scott and
Ryan R. Newton and
Philip Wadler and
Ranjit Jhala},
title = {Refinement Reflection: Complete Verification with {SMT}},
journal = {CoRR},
volume = {abs/1711.03842},
year = {2017},
url = {http://arxiv.org/abs/1711.03842},
eprinttype = {arXiv},
eprint = {1711.03842},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GayVWY17,
author = {Simon J. Gay and
Vasco T. Vasconcelos and
Philip Wadler and
Nobuko Yoshida},
title = {Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)},
journal = {Dagstuhl Reports},
volume = {7},
number = {1},
pages = {158--189},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.1.158},
doi = {10.4230/DAGREP.7.1.158},
timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GayVWY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wadler16,
author = {Philip Wadler},
title = {Technical Perspective: Why didn't {I} think of that?},
journal = {Commun. {ACM}},
volume = {59},
number = {8},
pages = {92},
year = {2016},
url = {https://doi.org/10.1145/2961892},
doi = {10.1145/2961892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wadler16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MyersSHKBTW16,
author = {Brad A. Myers and
Andreas Stefik and
Stefan Hanenberg and
Antti{-}Juhani Kaijanaho and
Margaret M. Burnett and
Franklyn A. Turbak and
Philip Wadler},
editor = {Jofish Kaye and
Allison Druin and
Cliff Lampe and
Dan Morris and
Juan Pablo Hourcade},
title = {Usability of Programming Languages: Special Interest Group {(SIG)}
Meeting at {CHI} 2016},
booktitle = {Proceedings of the 2016 {CHI} Conference on Human Factors in Computing
Systems, San Jose, CA, USA, May 7-12, 2016, Extended Abstracts},
pages = {1104--1107},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851581.2886434},
doi = {10.1145/2851581.2886434},
timestamp = {Wed, 01 Jun 2022 08:38:38 +0200},
biburl = {https://dblp.org/rec/conf/chi/MyersSHKBTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CarboneLMSW16,
author = {Marco Carbone and
Sam Lindley and
Fabrizio Montesi and
Carsten Sch{\"{u}}rmann and
Philip Wadler},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Coherence Generalises Duality: {A} Logical Explanation of Multiparty
Session Types},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {33:1--33:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.33},
doi = {10.4230/LIPICS.CONCUR.2016.33},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/CarboneLMSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/NajdLSW16,
author = {Shayan Najd and
Sam Lindley and
Josef Svenningsson and
Philip Wadler},
editor = {Martin Erwig and
Tiark Rompf},
title = {Everything old is new again: quoted domain-specific languages},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
20 - 22, 2016},
pages = {25--36},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847538.2847541},
doi = {10.1145/2847538.2847541},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/NajdLSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NajdLSW16,
author = {Shayan Najd and
Sam Lindley and
Josef Svenningsson and
Philip Wadler},
title = {Embedding by Normalisation},
journal = {CoRR},
volume = {abs/1603.05197},
year = {2016},
url = {http://arxiv.org/abs/1603.05197},
eprinttype = {arXiv},
eprint = {1603.05197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NajdLSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FowlerLW16,
author = {Simon Fowler and
Sam Lindley and
Philip Wadler},
title = {Mixing Metaphors: Actors as Channels and Channels as Actors},
journal = {CoRR},
volume = {abs/1611.06276},
year = {2016},
url = {http://arxiv.org/abs/1611.06276},
eprinttype = {arXiv},
eprint = {1611.06276},
timestamp = {Wed, 22 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FowlerLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wadler15,
author = {Philip Wadler},
title = {Propositions as types},
journal = {Commun. {ACM}},
volume = {58},
number = {12},
pages = {75--84},
year = {2015},
url = {https://doi.org/10.1145/2699407},
doi = {10.1145/2699407},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wadler15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SiekTW15,
author = {Jeremy G. Siek and
Peter Thiemann and
Philip Wadler},
editor = {David Grove and
Stephen M. Blackburn},
title = {Blame and coercion: together again for the first time},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {425--435},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737968},
doi = {10.1145/2737924.2737968},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SiekTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Wadler15,
author = {Philip Wadler},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {A Complement to Blame},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {309--320},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.309},
doi = {10.4230/LIPICS.SNAPL.2015.309},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/Wadler15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NajdLSW15,
author = {Shayan Najd and
Sam Lindley and
Josef Svenningsson and
Philip Wadler},
title = {Everything old is new again: Quoted Domain Specific Languages},
journal = {CoRR},
volume = {abs/1507.07264},
year = {2015},
url = {http://arxiv.org/abs/1507.07264},
eprinttype = {arXiv},
eprint = {1507.07264},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NajdLSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Wadler14,
author = {Philip Wadler},
title = {Propositions as sessions},
journal = {J. Funct. Program.},
volume = {24},
number = {2-3},
pages = {384--418},
year = {2014},
url = {https://doi.org/10.1017/S095679681400001X},
doi = {10.1017/S095679681400001X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Wadler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BoehmDFFGHHPTVW14,
author = {Hans{-}Juergen Boehm and
Jack W. Davidson and
Kathleen Fisher and
Cormac Flanagan and
Jeremy Gibbons and
Mary W. Hall and
Graham Hutton and
David A. Padua and
Frank Tip and
Jan Vitek and
Philip Wadler},
title = {Practices of {PLDI}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {33--38},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641649},
doi = {10.1145/2641638.2641649},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/BoehmDFFGHHPTVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HeWT14,
author = {Jiansen He and
Philip Wadler and
Philip W. Trinder},
editor = {Philipp Haller and
Heather Miller},
title = {Typecasting actors: from Akka to TAkka},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {23--33},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637651},
doi = {10.1145/2637647.2637651},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HeWT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Wadler14,
author = {Philip Wadler},
editor = {Rumyana Neykova and
Nicholas Ng},
title = {You and Your Research and the Elements of Style},
booktitle = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
25-26, 2014, London, United Kingdom},
series = {OASIcs},
volume = {43},
pages = {2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2014.2},
doi = {10.4230/OASICS.ICCSW.2014.2},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Wadler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CheneyLRW14,
author = {James Cheney and
Sam Lindley and
Gabriel Radanne and
Philip Wadler},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Effective quotation: relating approaches to language-integrated query},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {15--26},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543738},
doi = {10.1145/2543728.2543738},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/CheneyLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/CheneyLW14,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
editor = {Curtis E. Dyreson and
Feifei Li and
M. Tamer {\"{O}}zsu},
title = {Query shredding: efficient relational evaluation of queries over nested
multisets},
booktitle = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
UT, USA, June 22-27, 2014},
pages = {1027--1038},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588555.2612186},
doi = {10.1145/2588555.2612186},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/CheneyLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyLW14,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
title = {Query shredding: Efficient relational evaluation of queries over nested
multisets (extended version)},
journal = {CoRR},
volume = {abs/1404.7078},
year = {2014},
url = {http://arxiv.org/abs/1404.7078},
eprinttype = {arXiv},
eprint = {1404.7078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IgarashiTW14,
author = {Atsushi Igarashi and
Peter Thiemann and
Philip Wadler},
title = {Software Contracts for Communication, Monitoring, and Security {(NII}
Shonan Meeting 2014-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/050/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IgarashiTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/DreyerFGHJSSW13,
author = {Derek Dreyer and
John Field and
Roberto Giacobazzi and
Michael Hicks and
Suresh Jagannathan and
Mooly Sagiv and
Peter Sewell and
Philip Wadler},
title = {Principles of {POPL}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {12--16},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502517},
doi = {10.1145/2502508.2502517},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/DreyerFGHJSSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CheneyLW13,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {A practical theory of language-integrated query},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {403--416},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500586},
doi = {10.1145/2500365.2500586},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CheneyLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyLRW13,
author = {James Cheney and
Sam Lindley and
Gabriel Radanne and
Philip Wadler},
title = {Effective Quotation},
journal = {CoRR},
volume = {abs/1310.4780},
year = {2013},
url = {http://arxiv.org/abs/1310.4780},
eprinttype = {arXiv},
eprint = {1310.4780},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyLRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Wadler12,
author = {Philip Wadler},
title = {{SIGPLAN} chair's report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {47},
number = {4a},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1145/2442776.2448977},
doi = {10.1145/2442776.2448977},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Wadler12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Wadler12,
author = {Philip Wadler},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Propositions as sessions},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {273--286},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364568},
doi = {10.1145/2364527.2364568},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Wadler12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AhmedFSW11,
author = {Amal Ahmed and
Robert Bruce Findler and
Jeremy G. Siek and
Philip Wadler},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Blame for all},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {201--214},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926409},
doi = {10.1145/1926385.1926409},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AhmedFSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LindleyWY10,
author = {Sam Lindley and
Philip Wadler and
Jeremy Yallop},
title = {The arrow calculus},
journal = {J. Funct. Program.},
volume = {20},
number = {1},
pages = {51--69},
year = {2010},
url = {https://doi.org/10.1017/S095679680999027X},
doi = {10.1017/S095679680999027X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LindleyWY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LindleyW10,
author = {Sam Lindley and
Philip Wadler},
editor = {Andrew D. Gordon},
title = {The Audacity of Hope: Thoughts on Reclaiming the Database Dream},
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},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_1},
doi = {10.1007/978-3-642-11957-6\_1},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/LindleyW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SiekW10,
author = {Jeremy G. Siek and
Philip Wadler},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Threesomes, with and without blame},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {365--376},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706342},
doi = {10.1145/1706299.1706342},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/SiekW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SchrijversSW09,
author = {Tom Schrijvers and
Peter J. Stuckey and
Philip Wadler},
title = {Monadic constraint programming},
journal = {J. Funct. Program.},
volume = {19},
number = {6},
pages = {663--697},
year = {2009},
url = {https://doi.org/10.1017/S0956796809990086},
doi = {10.1017/S0956796809990086},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SchrijversSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AhmedFMW09,
author = {Amal Ahmed and
Robert Bruce Findler and
Jacob Matthews and
Philip Wadler},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Blame for all},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {1--13},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570507},
doi = {10.1145/1570506.1570507},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AhmedFMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SiekW09,
author = {Jeremy G. Siek and
Philip Wadler},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Threesomes, with and without blame},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {34--46},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570511},
doi = {10.1145/1570506.1570511},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SiekW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WadlerF09,
author = {Philip Wadler and
Robert Bruce Findler},
editor = {Giuseppe Castagna},
title = {Well-Typed Programs Can't Be Blamed},
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},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_1},
doi = {10.1007/978-3-642-00590-9\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/WadlerF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CooperW09,
author = {Ezra Cooper and
Philip Wadler},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {The {RPC} calculus},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {231--242},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599439},
doi = {10.1145/1599410.1599439},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CooperW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CooperLWY08,
author = {Ezra Cooper and
Sam Lindley and
Philip Wadler and
Jeremy Yallop},
editor = {G. Ramalingam},
title = {The Essence of Form Abstraction},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {205--220},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_15},
doi = {10.1007/978-3-540-89330-1\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/CooperLWY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LindleyWY11,
author = {Sam Lindley and
Philip Wadler and
Jeremy Yallop},
editor = {Venanzio Capretta and
Conor McBride},
title = {Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous},
booktitle = {Proceedings of the Second Workshop on Mathematically Structured Functional
Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {5},
pages = {97--117},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.02.018},
doi = {10.1016/J.ENTCS.2011.02.018},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LindleyWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2008,
editor = {George C. Necula and
Philip Wadler},
title = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438},
doi = {10.1145/1328438},
isbn = {978-1-59593-689-9},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanvyOW07,
author = {Olivier Danvy and
Peter W. O'Hearn and
Philip Wadler},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {375},
number = {1-3},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.024},
doi = {10.1016/J.TCS.2006.12.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanvyOW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wadler07,
author = {Philip Wadler},
title = {The Girard-Reynolds isomorphism (second edition)},
journal = {Theor. Comput. Sci.},
volume = {375},
number = {1-3},
pages = {201--226},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.042},
doi = {10.1016/J.TCS.2006.12.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wadler07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/JonesW07,
author = {Simon L. Peyton Jones and
Philip Wadler},
editor = {Gabriele Keller},
title = {Comprehensive comprehensions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007,
Freiburg, Germany, September 30, 2007},
pages = {61--72},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291201.1291209},
doi = {10.1145/1291201.1291209},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/JonesW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hopl/HudakHJW07,
author = {Paul Hudak and
John Hughes and
Simon L. Peyton Jones and
Philip Wadler},
editor = {Barbara G. Ryder and
Brent Hailpern},
title = {A history of Haskell: being lazy with class},
booktitle = {Proceedings of the Third {ACM} {SIGPLAN} History of Programming Languages
Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
pages = {1--55},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1238844.1238856},
doi = {10.1145/1238844.1238856},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hopl/HudakHJW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7051,
editor = {Richard Hull and
Peter Thiemann and
Philip Wadler},
title = {Programming Paradigms for the Web: Web Programming and Web Services,
28.01. - 02.02.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07051},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/07051/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HullTW07,
author = {Richard Hull and
Peter Thiemann and
Philip Wadler},
editor = {Richard Hull and
Peter Thiemann and
Philip Wadler},
title = {07051 Executive Summary -- Programming Paradigms for the Web: Web
Programming and Web Services},
booktitle = {Programming Paradigms for the Web: Web Programming and Web Services,
28.01. - 02.02.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07051},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1125},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HullTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HullTW07a,
author = {Richard Hull and
Peter Thiemann and
Philip Wadler},
editor = {Richard Hull and
Peter Thiemann and
Philip Wadler},
title = {07051 Working Group Outcomes -- Programming Paradigms for the Web:
Web Programming and Web Services},
booktitle = {Programming Paradigms for the Web: Web Programming and Web Services,
28.01. - 02.02.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07051},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1127},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/HullTW07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HullTW07b,
author = {Richard Hull and
Peter Thiemann and
Philip Wadler},
editor = {Richard Hull and
Peter Thiemann and
Philip Wadler},
title = {07051 Abstracts Collection -- Programming Paradigms for the Web: Web
Programming and Web Services},
booktitle = {Programming Paradigms for the Web: Web Programming and Web Services,
28.01. - 02.02.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07051},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1128},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/HullTW07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017180,
author = {Maurice Naftalin and
Philip Wadler},
title = {Java generics and collections},
publisher = {O'Reilly},
year = {2006},
url = {http://www.oreilly.de/catalog/javagenerics/index.html},
isbn = {978-0-596-52775-4},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0017180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CooperLWY06,
author = {Ezra Cooper and
Sam Lindley and
Philip Wadler and
Jeremy Yallop},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Links: Web Programming Without Tiers},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {266--296},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_12},
doi = {10.1007/978-3-540-74792-5\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CooperLWY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Wadler06,
author = {Philip Wadler},
editor = {Peri L. Tarr and
William R. Cook},
title = {Faith, evolution, and programming languages: from Haskell to Java
to links},
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}},
pages = {508},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176623},
doi = {10.1145/1176617.1176623},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Wadler06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2006,
editor = {Masami Hagiya and
Philip Wadler},
title = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414},
doi = {10.1007/11737414},
isbn = {3-540-33438-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Wadler05,
author = {Philip Wadler},
editor = {J{\"{u}}rgen Giesl},
title = {Call-by-Value Is Dual to Call-by-Name - Reloaded},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {185--203},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_15},
doi = {10.1007/978-3-540-32033-3\_15},
timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
biburl = {https://dblp.org/rec/conf/rta/Wadler05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2004,
editor = {Francesco Cesarini and
Philip Wadler},
title = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Erlang, Snowbird,
Utah, USA, September 22, 2004},
publisher = {{ACM}},
year = {2004},
isbn = {1-58113-918-7},
timestamp = {Wed, 03 Aug 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Wadler03,
author = {Philip Wadler},
title = {The Girard-Reynolds isomorphism},
journal = {Inf. Comput.},
volume = {186},
number = {2},
pages = {260--284},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00141-X},
doi = {10.1016/S0890-5401(03)00141-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Wadler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JonesW03,
author = {Simon L. Peyton Jones and
Philip Wadler},
title = {The Educational Pearls column},
journal = {J. Funct. Program.},
volume = {13},
number = {5},
pages = {833--834},
year = {2003},
url = {https://doi.org/10.1017/S0956796803004787},
doi = {10.1017/S0956796803004787},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JonesW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/WadlerT03,
author = {Philip Wadler and
Peter Thiemann},
title = {The marriage of effects and monads},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {1},
pages = {1--32},
year = {2003},
url = {https://doi.org/10.1145/601775.601776},
doi = {10.1145/601775.601776},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/WadlerT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Wadler03,
author = {Philip Wadler},
editor = {Colin Runciman and
Olin Shivers},
title = {Call-by-value is dual to call-by-name},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {189--201},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944723},
doi = {10.1145/944705.944723},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Wadler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SimeonW03,
author = {J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Alex Aiken and
Greg Morrisett},
title = {The essence of {XML}},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {1--13},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604132},
doi = {10.1145/604131.604132},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/SimeonW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2003,
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2},
doi = {10.1007/3-540-36388-2},
isbn = {3-540-00389-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BrownFRW02,
author = {Allen Brown and
Matthew Fuchs and
Jonathan Robie and
Philip Wadler},
title = {{MSL:} a model for {W3C} {XML} Schema},
journal = {Comput. Networks},
volume = {39},
number = {5},
pages = {507--521},
year = {2002},
url = {https://doi.org/10.1016/S1389-1286(02)00225-6},
doi = {10.1016/S1389-1286(02)00225-6},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/BrownFRW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/Wadler02,
author = {Philip Wadler},
editor = {Johan Jeuring and
Simon L. Peyton Jones},
title = {XQuery: {A} Typed Functional Language for Querying {XML}},
booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002,
Oxford, UK, August 19-24, 2002, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2638},
pages = {188--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-44833-4\_7},
doi = {10.1007/978-3-540-44833-4\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/Wadler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SimeonW02,
author = {J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Essence of {XML} (Preliminary Version)},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {21--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_2},
doi = {10.1007/3-540-45788-7\_2},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/SimeonW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiPW01,
author = {Atsushi Igarashi and
Benjamin C. Pierce and
Philip Wadler},
title = {Featherweight Java: a minimal core calculus for Java and {GJ}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {23},
number = {3},
pages = {396--450},
year = {2001},
url = {https://doi.org/10.1145/503502.503505},
doi = {10.1145/503502.503505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/IgarashiPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FernandezSW01,
author = {Mary F. Fern{\'{a}}ndez and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Jan Van den Bussche and
Victor Vianu},
title = {A Semi-monad for Semi-structured Data},
booktitle = {Database Theory - {ICDT} 2001, 8th International Conference, London,
UK, January 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1973},
pages = {263--300},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44503-X\_18},
doi = {10.1007/3-540-44503-X\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FernandezSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Wadler01,
author = {Philip Wadler},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {The Girard-Reynolds Isomorphism},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {468--491},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_24},
doi = {10.1007/3-540-45500-0\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Wadler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Wadler01,
author = {Philip Wadler},
editor = {Peter M. G. Apers and
Paolo Atzeni and
Stefano Ceri and
Stefano Paraboschi and
Kotagiri Ramamohanarao and
Richard T. Snodgrass},
title = {Et tu, XML? The downfall of the relational empire (abstract)},
booktitle = {{VLDB} 2001, Proceedings of 27th International Conference on Very
Large Data Bases, September 11-14, 2001, Roma, Italy},
pages = {15},
publisher = {Morgan Kaufmann},
year = {2001},
url = {http://www.vldb.org/conf/2001/P015.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vldb/Wadler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BrownFRW01,
author = {Allen Brown and
Matthew Fuchs and
Jonathan Robie and
Philip Wadler},
editor = {Vincent Y. Shen and
Nobuo Saito and
Michael R. Lyu and
Mary Ellen Zurko},
title = {{MSL} - a model for {W3C} {XML} schema},
booktitle = {Proceedings of the Tenth International World Wide Web Conference,
{WWW} 10, Hong Kong, China, May 1-5, 2001},
pages = {191--200},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/371920.371982},
doi = {10.1145/371920.371982},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BrownFRW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:www/org/w3/TR/query-algebra,
title = {The {XML} Query Algebra},
year = {2001},
howpublished = {\url{http://www.w3.org/TR/2000/WD-query-algebra-20001204/}},
url = {http://www.w3.org/TR/2000/WD-query-algebra-20001204/},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/www/org/w3/TR/query-algebra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mala/Wadler00,
author = {Philip Wadler},
title = {A Formal Semantics of Patterns in {XSLT} and XPath},
journal = {Markup Lang.},
volume = {2},
number = {2},
pages = {183--202},
year = {2000},
url = {http://cm.bell-labs.com/cm/cs/who/wadler/papers/xsl-semantics/xsl-semantics.pdf},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mala/Wadler00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FernandezSW00,
author = {Mary F. Fern{\'{a}}ndez and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {An Algebra for {XML} Query},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {11--45},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_2},
doi = {10.1007/3-540-44450-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FernandezSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2000,
editor = {Martin Odersky and
Philip Wadler},
title = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240},
doi = {10.1145/351240},
isbn = {1-58113-202-6},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TurnerW99,
author = {David N. Turner and
Philip Wadler},
title = {Operational Interpretations of Linear Logic},
journal = {Theor. Comput. Sci.},
volume = {227},
number = {1-2},
pages = {231--248},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00054-7},
doi = {10.1016/S0304-3975(99)00054-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TurnerW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaraistOTW99,
author = {John Maraist and
Martin Odersky and
David N. Turner and
Philip Wadler},
title = {Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},
journal = {Theor. Comput. Sci.},
volume = {228},
number = {1-2},
pages = {175--210},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00358-2},
doi = {10.1016/S0304-3975(98)00358-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MaraistOTW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/IgarashiPW99,
author = {Atsushi Igarashi and
Benjamin C. Pierce and
Philip Wadler},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {Featherwieght Java: {A} Minimal Core Calculus for Java and {GJ}},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {132--146},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320395},
doi = {10.1145/320384.320395},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/IgarashiPW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Wadler99,
author = {Philip Wadler},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {How Enterprises Use Functional Languages, and Why They Don't},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {209--227},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_9},
doi = {10.1007/978-3-642-60085-2\_9},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Wadler99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MaraistOW98,
author = {John Maraist and
Martin Odersky and
Philip Wadler},
title = {The Call-by-Need Lambda Calculus},
journal = {J. Funct. Program.},
volume = {8},
number = {3},
pages = {275--317},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003037},
doi = {10.1017/S0956796898003037},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MaraistOW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Wadler98,
author = {Philip Wadler},
title = {An Angry Half-Dozen},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {2},
pages = {25--30},
year = {1998},
url = {https://doi.org/10.1145/274930.274933},
doi = {10.1145/274930.274933},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Wadler98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Wadler98a,
author = {Philip Wadler},
title = {Why No One Uses Functional Languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {8},
pages = {23--27},
year = {1998},
url = {https://doi.org/10.1145/286385.286387},
doi = {10.1145/286385.286387},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Wadler98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/OderskyRW98,
author = {Martin Odersky and
Enno Runne and
Philip Wadler},
editor = {Mehdi Jazayeri and
R{\"{u}}diger Loos and
David R. Musser},
title = {Two Ways to Bake Your Pizza - Translating Parameterised Types into
Java},
booktitle = {Generic Programming, International Seminar on Generic Programming,
Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1766},
pages = {114--132},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-39953-4\_10},
doi = {10.1007/3-540-39953-4\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/OderskyRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BruceOW98,
author = {Kim B. Bruce and
Martin Odersky and
Philip Wadler},
editor = {Eric Jul},
title = {A Statically Safe Alternative to Virtual Types},
booktitle = {ECOOP'98 - Object-Oriented Programming, 12th European Conference,
Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1445},
pages = {523--549},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054106},
doi = {10.1007/BFB0054106},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BruceOW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Wadler98,
author = {Philip Wadler},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {The Marriage of Effects and Monads},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {63--74},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289429},
doi = {10.1145/289423.289429},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Wadler98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/OderskyW98,
author = {Martin Odersky and
Philip Wadler},
editor = {Premkumar T. Devanbu and
Jeffrey S. Poulin},
title = {Leftover curry and reheated Pizza: how functional programming nourishes
software reuse},
booktitle = {Proceedings of the Fifth International Conference on Software Reuse,
{ICSR} 1998, Victoria, BC, Canada, June 2-5, 1998},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSR.1998.685724},
doi = {10.1109/ICSR.1998.685724},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/OderskyW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/Wadler98,
author = {Philip Wadler},
editor = {Premkumar T. Devanbu and
Jeffrey S. Poulin},
title = {How to solve the reuse problem? Functional programming},
booktitle = {Proceedings of the Fifth International Conference on Software Reuse,
{ICSR} 1998, Victoria, BC, Canada, June 2-5, 1998},
pages = {371--372},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSR.1998.685772},
doi = {10.1109/ICSR.1998.685772},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/Wadler98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrachaOSW98,
author = {Gilad Bracha and
Martin Odersky and
David Stoutamire and
Philip Wadler},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Making the Future Safe for the Past: Adding Genericity to the Java
Programming Language},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {183--200},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286957},
doi = {10.1145/286936.286957},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BrachaOSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Wadler97,
author = {Philip Wadler},
title = {How to Declare an Imperative},
journal = {{ACM} Comput. Surv.},
volume = {29},
number = {3},
pages = {240--263},
year = {1997},
url = {https://doi.org/10.1145/262009.262011},
doi = {10.1145/262009.262011},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Wadler97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SabryW97,
author = {Amr Sabry and
Philip Wadler},
title = {A Reflection on Call-by-Value},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {6},
pages = {916--941},
year = {1997},
url = {https://doi.org/10.1145/267959.269968},
doi = {10.1145/267959.269968},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SabryW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/Wadler97,
author = {Philip Wadler},
editor = {Sophie Cluet and
Richard Hull},
title = {Functional Programming: An Angry Half-Dozen},
booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1369},
pages = {25--34},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64823-2\_2},
doi = {10.1007/3-540-64823-2\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/Wadler97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MarlowW97,
author = {Simon Marlow and
Philip Wadler},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {A Practical Subtyping System For Erlang},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {136--149},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258962},
doi = {10.1145/258948.258962},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MarlowW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OderskyW97,
author = {Martin Odersky and
Philip Wadler},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Pizza into Java: Translating Theory into Practice},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {146--159},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263715},
doi = {10.1145/263699.263715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/OderskyW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Wadler96,
author = {Philip Wadler},
title = {Lazy Versus Strict},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {318--320},
year = {1996},
url = {https://doi.org/10.1145/234528.234738},
doi = {10.1145/234528.234738},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Wadler96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HallHJW96,
author = {Cordelia V. Hall and
Kevin Hammond and
Simon L. Peyton Jones and
Philip Wadler},
title = {Type Classes in Haskell},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {2},
pages = {109--138},
year = {1996},
url = {https://doi.org/10.1145/227699.227700},
doi = {10.1145/227699.227700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HallHJW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SabryW96,
author = {Amr Sabry and
Philip Wadler},
editor = {Robert Harper and
Richard L. Wexelblat},
title = {A Reflection on Call-by-Value},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
May 24-26, 1996},
pages = {13--24},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/232627.232631},
doi = {10.1145/232627.232631},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SabryW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BentonW96,
author = {P. N. Benton and
Philip Wadler},
title = {Linear Logic, Monads and the Lambda Calculus},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {420--431},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561458},
doi = {10.1109/LICS.1996.561458},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BentonW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/Wadler95,
author = {Philip Wadler},
editor = {Johan Jeuring and
Erik Meijer},
title = {Monads for Functional Programming},
booktitle = {Advanced Functional Programming, First International Spring School
on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
May 24-30, 1995, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {925},
pages = {24--52},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59451-5\_2},
doi = {10.1007/3-540-59451-5\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/Wadler95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/TurnerWM95,
author = {David N. Turner and
Philip Wadler and
Christian Mossin},
editor = {John Williams},
title = {Once Upon a Type},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {1--11},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224168},
doi = {10.1145/224164.224168},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/TurnerWM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/OderskyWW95,
author = {Martin Odersky and
Philip Wadler and
Martin Wehr},
editor = {John Williams},
title = {A Second Look at Overloading},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {135--146},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224195},
doi = {10.1145/224164.224195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/OderskyWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/Wadler95,
author = {Philip Wadler},
editor = {Henry G. Baker},
title = {Static Analysis Refuses to Stay Still: Prospects of Static Analysis
for Dynamic Allocation (Abstract)},
booktitle = {Memory Management, International Workshop {IWMM} 95, Kinross, UK,
September 27-29, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {986},
pages = {117},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60368-9\_20},
doi = {10.1007/3-540-60368-9\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/Wadler95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AriolaFMOW95,
author = {Zena M. Ariola and
Matthias Felleisen and
John Maraist and
Martin Odersky and
Philip Wadler},
editor = {Ron K. Cytron and
Peter Lee},
title = {The Call-by-Need Lambda Calculus},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {233--246},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199507},
doi = {10.1145/199448.199507},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AriolaFMOW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Wadler95,
author = {Philip Wadler},
editor = {John W. Lloyd},
title = {How to Declare an Imperative},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {18--32},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300534},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/Wadler95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaraistOTW95,
author = {John Maraist and
Martin Odersky and
David N. Turner and
Philip Wadler},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {370--392},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)00022-2},
doi = {10.1016/S1571-0661(04)00022-2},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraistOTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Wadler94,
author = {Philip Wadler},
title = {Monads and Composable Continuations},
journal = {{LISP} Symb. Comput.},
volume = {7},
number = {1},
pages = {39--56},
year = {1994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Wadler94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HallHJW94,
author = {Cordelia V. Hall and
Kevin Hammond and
Simon L. Peyton Jones and
Philip Wadler},
editor = {Donald Sannella},
title = {Type Classes in Haskell},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {241--256},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_16},
doi = {10.1007/3-540-57880-3\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HallHJW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ThompsonW93,
author = {Simon J. Thompson and
Philip Wadler},
title = {Functional Programming in Education - Introduction},
journal = {J. Funct. Program.},
volume = {3},
number = {1},
pages = {3--4},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000563},
doi = {10.1017/S0956796800000563},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ThompsonW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wadler93,
author = {Philip Wadler},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {A Taste of Linear Logic},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {185--210},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_12},
doi = {10.1007/3-540-57182-5\_12},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wadler93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Wadler93,
author = {Philip Wadler},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Syntax for Linear Logic},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {513--529},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_24},
doi = {10.1007/3-540-58027-1\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Wadler93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JonesW93,
author = {Simon L. Peyton Jones and
Philip Wadler},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Imperative Functional Programming},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {71--84},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158524},
doi = {10.1145/158511.158524},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JonesW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080637,
author = {Richard S. Bird and
Philip Wadler},
title = {Einf{\"{u}}hrung in die funktionale Programmierung},
series = {Hanser Studienb{\"{u}}cher der Informatik},
publisher = {Hanser},
year = {1992},
isbn = {978-3-446-17001-8},
timestamp = {Mon, 02 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Wadler92,
author = {Philip Wadler},
title = {Comprehending Monads},
journal = {Math. Struct. Comput. Sci.},
volume = {2},
number = {4},
pages = {461--493},
year = {1992},
url = {https://doi.org/10.1017/S0960129500001560},
doi = {10.1017/S0960129500001560},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Wadler92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FaselHPW92,
author = {Joseph H. Fasel and
Paul Hudak and
Simon L. Peyton Jones and
Philip Wadler},
title = {{SIGPLAN} Notices Special Issue on the Functional Programming Language
Haskell},
journal = {{ACM} {SIGPLAN} Notices},
volume = {27},
number = {5},
pages = {1},
year = {1992},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FaselHPW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
author = {Paul Hudak and
Simon L. Peyton Jones and
Philip Wadler and
Brian Boutel and
Jon Fairbairn and
Joseph H. Fasel and
Mar{\'{\i}}a M. Guzm{\'{a}}n and
Kevin Hammond and
John Hughes and
Thomas Johnsson and
Richard B. Kieburtz and
Rishiyur S. Nikhil and
Will Partain and
John Peterson},
title = {Report on the Programming Language Haskell, {A} Non-strict, Purely
Functional Language},
journal = {{ACM} {SIGPLAN} Notices},
volume = {27},
number = {5},
pages = {1},
year = {1992},
url = {https://doi.org/10.1145/130697.130699},
doi = {10.1145/130697.130699},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/HudakPWBFFGHHJKNPP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HallHPJW92,
author = {Cordelia V. Hall and
Kevin Hammond and
Will Partain and
Simon L. Peyton Jones and
Philip Wadler},
editor = {John Launchbury and
Patrick M. Sansom},
title = {The Glasgow Haskell Compiler: {A} Retrospective},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {62--71},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_6},
doi = {10.1007/978-1-4471-3215-8\_6},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/HallHPJW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/KingW92,
author = {David J. King and
Philip Wadler},
editor = {John Launchbury and
Patrick M. Sansom},
title = {Combining Monads},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {134--143},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_12},
doi = {10.1007/978-1-4471-3215-8\_12},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/KingW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/LaunchburyGHMJW92,
author = {John Launchbury and
Andy Gill and
John Hughes and
Simon Marlow and
Simon L. Peyton Jones and
Philip Wadler},
editor = {John Launchbury and
Patrick M. Sansom},
title = {Avoiding Unnecessary Updates},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {144--153},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_13},
doi = {10.1007/978-1-4471-3215-8\_13},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/LaunchburyGHMJW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/MarlowW92,
author = {Simon Marlow and
Philip Wadler},
editor = {John Launchbury and
Patrick M. Sansom},
title = {Deforestation for Higher-Order Functions},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {154--165},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_14},
doi = {10.1007/978-1-4471-3215-8\_14},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/MarlowW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Wadler92,
author = {Philip Wadler},
editor = {Manfred Broy},
title = {Monads for functional programming},
booktitle = {Program Design Calculi, Proceedings of the {NATO} Advanced Study Institute
on Program Design Calculi, Marktoberdorf, Germany, July 28 - August
9, 1992},
series = {{NATO} {ASI} Series},
volume = {118},
pages = {233--264},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-662-02880-3\_8},
doi = {10.1007/978-3-662-02880-3\_8},
timestamp = {Wed, 16 Mar 2022 23:55:57 +0100},
biburl = {https://dblp.org/rec/conf/nato/Wadler92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wadler92,
author = {Philip Wadler},
editor = {Ravi Sethi},
title = {The Essence of Functional Programming},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {1--14},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143169},
doi = {10.1145/143165.143169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wadler92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1991,
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3196-0},
doi = {10.1007/978-1-4471-3196-0},
isbn = {3-540-19760-5},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Wadler91,
author = {Philip Wadler},
editor = {Charles Consel and
Olivier Danvy},
title = {Is There a Use for Linear Logic?},
booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
USA, June 17-19, 1991},
pages = {255--273},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/115865.115894},
doi = {10.1145/115865.115894},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Wadler91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wadler90,
author = {Philip Wadler},
title = {Deforestation: Transforming Programs to Eliminate Trees},
journal = {Theor. Comput. Sci.},
volume = {73},
number = {2},
pages = {231--248},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90147-A},
doi = {10.1016/0304-3975(90)90147-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wadler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/DavisW90,
author = {Kei Davis and
Philip Wadler},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Strictness Analysis in 4D},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {23--43},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_3},
doi = {10.1007/978-1-4471-3810-5\_3},
timestamp = {Mon, 24 Jun 2019 15:54:03 +0200},
biburl = {https://dblp.org/rec/conf/fp/DavisW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Wadler90,
author = {Philip Wadler},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Linear Types can Change the World!},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {561},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Wadler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wadler90,
author = {Philip Wadler},
editor = {Gilles Kahn},
title = {Comprehending Monads},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {61--78},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91592},
doi = {10.1145/91556.91592},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wadler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/DavisW89,
author = {Kei Davis and
Philip Wadler},
editor = {Kei Davis and
John Hughes},
title = {Backwards Strictness Analysis: Proved and Improved},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {12--30},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fp/DavisW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wadler89,
author = {Philip Wadler},
editor = {Joseph E. Stoy},
title = {Theorems for Free!},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {347--359},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99404},
doi = {10.1145/99370.99404},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Wadler89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WadlerB89,
author = {Philip Wadler and
Stephen Blott},
title = {How to Make ad-hoc Polymorphism Less ad-hoc},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {60--76},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75283},
doi = {10.1145/75277.75283},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WadlerB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067889,
author = {Richard S. Bird and
Philip Wadler},
title = {Introduction to functional programming},
series = {Prentice Hall International series in computer science},
publisher = {Prentice Hall},
year = {1988},
isbn = {978-0-13-484197-7},
timestamp = {Tue, 19 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Wadler88,
author = {Philip Wadler},
editor = {Harald Ganzinger},
title = {Deforestation: Transforming Programs to Eliminate Trees},
booktitle = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {300},
pages = {344--358},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19027-9\_23},
doi = {10.1007/3-540-19027-9\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Wadler88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wadler88,
author = {Philip Wadler},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Strictness Analysis Aids Time Analysis},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {119--132},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73571},
doi = {10.1145/73560.73571},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/Wadler88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Wadler87,
author = {Philip Wadler},
title = {A critique of Abelson and Sussman or why calculating is better than
scheming},
journal = {{ACM} {SIGPLAN} Notices},
volume = {22},
number = {3},
pages = {83--94},
year = {1987},
url = {https://doi.org/10.1145/24697.24706},
doi = {10.1145/24697.24706},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Wadler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Wadler87,
author = {Philip Wadler},
title = {Fixing some Space Leaks with a Garbage Collector},
journal = {Softw. Pract. Exp.},
volume = {17},
number = {9},
pages = {595--608},
year = {1987},
url = {https://doi.org/10.1002/spe.4380170904},
doi = {10.1002/SPE.4380170904},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Wadler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WadlerH87,
author = {Philip Wadler and
R. J. M. Hughes},
editor = {Gilles Kahn},
title = {Projections for strictness analysis},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {385--407},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_21},
doi = {10.1007/3-540-18317-5\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WadlerH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wadler87,
author = {Philip Wadler},
title = {Views: {A} Way for Pattern Matching to Cohabit with Data Abstraction},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {307--313},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41653},
doi = {10.1145/41625.41653},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wadler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/Wadler86,
author = {Philip Wadler},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {A new array operation},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {328--335},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_64},
doi = {10.1007/3-540-18420-1\_64},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/gr/Wadler86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Wadler85,
author = {Philip Wadler},
title = {A Simple Language is also a Functional Language},
journal = {Softw. Pract. Exp.},
volume = {15},
number = {2},
pages = {219},
year = {1985},
url = {https://doi.org/10.1002/spe.4380150207},
doi = {10.1002/SPE.4380150207},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Wadler85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wadler85,
author = {Philip Wadler},
editor = {Jean{-}Pierre Jouannaud},
title = {How to Replace Failure by a List of Successes: {A} method for exception
handling, backtracking, and pattern matching in lazy functional languages},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {113--128},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_33},
doi = {10.1007/3-540-15975-4\_33},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Wadler85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/Wadler85,
author = {Philip Wadler},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {Listlessness is better than laziness {II:} composing listless functions},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {282--305},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_16},
doi = {10.1007/3-540-16446-4\_16},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/pdo/Wadler85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wadler84,
author = {Philip Wadler},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Listlessness is Better than Laziness: Lazy Evaluation and Garbage
Collection at Compile Time},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {45--52},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802020},
doi = {10.1145/800055.802020},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wadler84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wadler81,
author = {Philip Wadler},
editor = {Arvind and
Jack B. Dennis},
title = {Applicative style programming, program transformation, and list operators},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {25--32},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806759},
doi = {10.1145/800223.806759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Wadler81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MorrisSW80,
author = {James H. Morris Jr. and
Eric Schmidt and
Philip Wadler},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Experience with an Applicative String Processing Language},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {32--46},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567450},
doi = {10.1145/567446.567450},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MorrisSW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wadler76,
author = {Philip Wadler},
title = {Analysis of an Algorithm for Real Time Garbage Collection},
journal = {Commun. {ACM}},
volume = {19},
number = {9},
pages = {491--500},
year = {1976},
url = {https://doi.org/10.1145/360336.360338},
doi = {10.1145/360336.360338},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wadler76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
