Philip Wadler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
25
Active years
1980–2025
Best venue rank
A*
Where they publish
- A*POPL11 papers
- AECOOP6 papers
- AICFP6 papers
- AESOP4 papers
- CHASKELL3 papers
- CISoLA3 papers
- CPEPM3 papers
- AOOPSLA3 papers
- BMPC2 papers
- BICSR2 papers
- AFC1 paper
- CCoordination1 paper
- A*CHI1 paper
- BCONCUR1 paper
- A*PLDI1 paper
- A*SIGMOD1 paper
- CPPDP1 paper
- BAPLAS1 paper
- NationalFLOPS1 paper
- AICDT1 paper
- A*WWW1 paper
- A*VLDB1 paper
- A*LICS1 paper
- BMFCS1 paper
- BMFPS1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HASKELL | Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). | Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty |
| 2021 | ISoLA | GATE: Gradual Effect Types. | Philip Wadler |
| 2020 | FC | The Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler |
| 2020 | ISoLA | Native Custom Tokens in the Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler |
| 2020 | ISoLA | UTXO | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner |
| 2019 | Coordination | Towards Races in Linear Logic. | Wen Kokke, J. Garrett Morris, Philip Wadler |
| 2019 | MPC | System F in Agda, for Fun and Profit. | James Chapman, Roman Kireev, Chad Nester, Philip Wadler |
| 2019 | MPC | Unraveling Recursion: Compiling an IR with Recursion to System F. | Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler |
| 2017 | ECOOP | Mixing Metaphors: Actors as Channels and Channels as Actors. | Simon Fowler, Sam Lindley, Philip Wadler |
| 2017 | ECOOP | Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. | Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
| 2017 | HASKELL | Quantified class constraints. | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
| 2016 | CHI | Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016. | Brad A. Myers, Andreas Stefik, Stefan Hanenberg, Antti-Juhani Kaijanaho, Margaret M. Burnett, Franklyn A. Turbak, Philip Wadler |
| 2016 | CONCUR | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler |
| 2016 | PEPM | Everything old is new again: quoted domain-specific languages. | Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler |
| 2015 | PLDI | Blame and coercion: together again for the first time. | Jeremy G. Siek, Peter Thiemann, Philip Wadler |
| 2014 | ECOOP | Typecasting actors: from Akka to TAkka. | Jiansen He, Philip Wadler, Philip W. Trinder |
| 2014 | PEPM | Effective quotation: relating approaches to language-integrated query. | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
| 2014 | SIGMOD | Query shredding: efficient relational evaluation of queries over nested multisets. | James Cheney, Sam Lindley, Philip Wadler |
| 2013 | ICFP | A practical theory of language-integrated query. | James Cheney, Sam Lindley, Philip Wadler |
| 2012 | ICFP | Propositions as sessions. | Philip Wadler |
| 2011 | POPL | Blame for all. | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
| 2010 | ESOP | The Audacity of Hope: Thoughts on Reclaiming the Database Dream. | Sam Lindley, Philip Wadler |
| 2010 | POPL | Threesomes, with and without blame. | Jeremy G. Siek, Philip Wadler |
| 2009 | ECOOP | Blame for all. | Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler |
| 2009 | ECOOP | Threesomes, with and without blame. | Jeremy G. Siek, Philip Wadler |
| 2009 | ESOP | Well-Typed Programs Can't Be Blamed. | Philip Wadler, Robert Bruce Findler |
| 2009 | PPDP | The RPC calculus. | Ezra Cooper, Philip Wadler |
| 2008 | APLAS | The Essence of Form Abstraction. | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
| 2007 | HASKELL | Comprehensive comprehensions. | Simon L. Peyton Jones, Philip Wadler |
| 2006 | OOPSLA | Faith, evolution, and programming languages: from Haskell to Java to links. | Philip Wadler |
| 2003 | ICFP | Call-by-value is dual to call-by-name. | Philip Wadler |
| 2003 | POPL | The essence of XML. | Jrme Simon, Philip Wadler |
| 2002 | FLOPS | The Essence of XML (Preliminary Version). | Jrme Simon, Philip Wadler |
| 2001 | ICDT | A Semi-monad for Semi-structured Data. | Mary F. Fernndez, Jrme Simon, Philip Wadler |
| 2001 | WWW | MSL - a model for W3C XML schema. | Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler |
| 2001 | VLDB | Et tu, XML? The downfall of the relational empire (abstract). | Philip Wadler |
| 1999 | OOPSLA | Featherwieght Java: A Minimal Core Calculus for Java and GJ. | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
| 1998 | ECOOP | A Statically Safe Alternative to Virtual Types. | Kim B. Bruce, Martin Odersky, Philip Wadler |
| 1998 | ICFP | The Marriage of Effects and Monads. | Philip Wadler |
| 1998 | ICSR | Leftover curry and reheated Pizza: how functional programming nourishes software reuse. | Martin Odersky, Philip Wadler |
| 1998 | ICSR | How to solve the reuse problem? Functional programming. | Philip Wadler |
| 1998 | OOPSLA | Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. | Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler |
| 1997 | ICFP | A Practical Subtyping System For Erlang. | Simon Marlow, Philip Wadler |
| 1997 | POPL | Pizza into Java: Translating Theory into Practice. | Martin Odersky, Philip Wadler |
| 1996 | ICFP | A Reflection on Call-by-Value. | Amr Sabry, Philip Wadler |
| 1996 | LICS | Linear Logic, Monads and the Lambda Calculus. | P. N. Benton, Philip Wadler |
| 1995 | POPL | The Call-by-Need Lambda Calculus. | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
| 1994 | ESOP | Type Classes in Haskell. | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
| 1993 | MFCS | A Taste of Linear Logic. | Philip Wadler |
| 1993 | MFPS | A Syntax for Linear Logic. | Philip Wadler |
| 1993 | POPL | Imperative Functional Programming. | Simon L. Peyton Jones, Philip Wadler |
| 1992 | POPL | The Essence of Functional Programming. | Philip Wadler |
| 1991 | PEPM | Is There a Use for Linear Logic? | Philip Wadler |
| 1989 | POPL | How to Make ad-hoc Polymorphism Less ad-hoc. | Philip Wadler, Stephen Blott |
| 1988 | ESOP | Deforestation: Transforming Programs to Eliminate Trees. | Philip Wadler |
| 1988 | POPL | Strictness Analysis Aids Time Analysis. | Philip Wadler |
| 1987 | POPL | Views: A Way for Pattern Matching to Cohabit with Data Abstraction. | Philip Wadler |
| 1980 | POPL | Experience with an Applicative String Processing Language. | James H. Morris Jr., Eric Schmidt, Philip Wadler |