Philip Wadler - RankMe

174 papers A* 16A 24B 9C 10Misc 2Journal 62Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Welterweight Go: Boxing, Structural Subtyping, and Generics. Proc. ACM Program. Lang. Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, Keith Randall
2025	C	`conf`	Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). Haskell Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty
2025	—	`conf`	Substitution Without Copy and Paste. LFMTP@FSCD Thorsten Altenkirch, Nathaniel Burke, Philip Wadler
2025	—	`conf`	Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano. FMBC Tudor Ferariu, Philip Wadler, Orestis Melkonian
2024	J	`jnl`	A simple blame calculus for explicit nulls. J. Funct. Program. Ondrej Lhoták, Philip Wadler
2024	—	`conf`	Explicit Weakening. A Second Soul Philip Wadler
2024	—	`conf`	Structured Contracts in the EUTxO Ledger Model. FMBC@CAV Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
2021	J	`jnl`	Blame and coercion: Together again for the first time. J. Funct. Program. Jeremy G. Siek, Peter Thiemann, Philip Wadler
2021	C	`conf`	GATE: Gradual Effect Types. ISoLA Philip Wadler
2021	—	`book`	Introduction to Computation - Haskell, Logic and Automata Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
2021	J	`jnl`	Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. Sci. Comput. Program. Adolfo Duran, Philip Wadler
2020	J	`jnl`	Featherweight Go. CoRR Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020	J	`jnl`	Featherweight go. Proc. ACM Program. Lang. Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020	J	`jnl`	Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler
2020	—	`conf`	Native Custom Tokens in the Extended UTXO Model. ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020	J	`jnl`	Programming language foundations in Agda. Sci. Comput. Program. Wen Kokke, Jeremy G. Siek, Philip Wadler
2020	—	`conf`	The Extended UTXO Model. Financial Cryptography Workshops Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
2020	J	`jnl`	Towards Races in Linear Logic. Log. Methods Comput. Sci. Wen Kokke, J. Garrett Morris, Philip Wadler
2020	—	`conf`	UTXO ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2020	—	`conf`	Unifying graded and parameterised monads. MSFP@ETAPS Dominic Orchard, Philip Wadler, Harley Eades III
2019	J	`jnl`	COCHIS: Stable and coherent implicits. J. Funct. Program. Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
2019	J	`jnl`	Gradual session types. J. Funct. Program. Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2019	B	`conf`	System F in Agda, for Fun and Profit. MPC James Chapman, Roman Kireev, Chad Nester, Philip Wadler
2019	C	`conf`	Towards Races in Linear Logic. COORDINATION Wen Kokke, J. Garrett Morris, Philip Wadler
2019	J	`jnl`	Towards Races in Linear Logic. CoRR Wen Kokke, J. Garrett Morris, Philip Wadler
2019	B	`conf`	Unraveling Recursion: Compiling an IR with Recursion to System F. MPC Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
2018	J	`jnl`	Gradual Session Types. CoRR Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2018	—	`conf`	Programming Language Foundations in Agda. SBMF Philip Wadler
2018	J	`jnl`	Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
2018	J	`jnl`	The root cause of blame: contracts for intersection and union types. Proc. ACM Program. Lang. Jack Williams, J. Garrett Morris, Philip Wadler
2017	J	`jnl`	Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday. J. Univers. Comput. Sci. Philip Wadler
2017	J	`jnl`	Gradual session types. Proc. ACM Program. Lang. Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
2017	J	`jnl`	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). Dagstuhl Artifacts Ser. Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
2017	A	`conf`	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ECOOP Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
2017	A	`conf`	Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP Simon Fowler, Sam Lindley, Philip Wadler
2017	C	`conf`	Quantified class constraints. Haskell Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
2017	J	`jnl`	Refinement Reflection: Complete Verification with SMT. CoRR Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
2017	J	`jnl`	Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
2017	J	`jnl`	Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
2016	B	`conf`	Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
2016	J	`jnl`	Embedding by Normalisation. CoRR Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2016	C	`conf`	Everything old is new again: quoted domain-specific languages. PEPM Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2016	J	`jnl`	Mixing Metaphors: Actors as Channels and Channels as Actors. CoRR Simon Fowler, Sam Lindley, Philip Wadler
2016	J	`jnl`	Technical Perspective: Why didn't I think of that? Commun. ACM Philip Wadler
2016	—	`conf`	Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016. CHI Extended Abstracts Brad A. Myers, Andreas Stefik, Stefan Hanenberg, Antti-Juhani Kaijanaho, Margaret M. Burnett, Franklyn A. Turbak, Philip Wadler
2015	—	`conf`	A Complement to Blame. SNAPL Philip Wadler
2015	A*	`conf`	Blame and coercion: together again for the first time. PLDI Jeremy G. Siek, Peter Thiemann, Philip Wadler
2015	J	`jnl`	Everything old is new again: Quoted Domain Specific Languages. CoRR Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2015	J	`jnl`	Propositions as types. Commun. ACM Philip Wadler
2014	C	`conf`	Effective quotation: relating approaches to language-integrated query. PEPM James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
2014	J	`jnl`	Practices of PLDI. ACM SIGPLAN Notices Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler
2014	J	`jnl`	Propositions as sessions. J. Funct. Program. Philip Wadler
2014	J	`jnl`	Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR James Cheney, Sam Lindley, Philip Wadler
2014	—	`conf`	Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference James Cheney, Sam Lindley, Philip Wadler
2014	J	`jnl`	Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. Atsushi Igarashi, Peter Thiemann, Philip Wadler
2014	—	`conf`	Typecasting actors: from Akka to TAkka. SCALA@ECOOP Jiansen He, Philip Wadler, Philip W. Trinder
2014	—	`conf`	You and Your Research and the Elements of Style. ICCSW Philip Wadler
2013	A	`conf`	A practical theory of language-integrated query. ICFP James Cheney, Sam Lindley, Philip Wadler
2013	J	`jnl`	Effective Quotation. CoRR James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
2013	J	`jnl`	Principles of POPL. ACM SIGPLAN Notices Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
2012	A	`conf`	Propositions as sessions. ICFP Philip Wadler
2012	J	`jnl`	SIGPLAN chair's report. ACM SIGPLAN Notices Philip Wadler
2011	A*	`conf`	Blame for all. POPL Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
2010	A	`conf`	The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP Sam Lindley, Philip Wadler
2010	J	`jnl`	The arrow calculus. J. Funct. Program. Sam Lindley, Philip Wadler, Jeremy Yallop
2010	A*	`conf`	Threesomes, with and without blame. POPL Jeremy G. Siek, Philip Wadler
2009	—	`conf`	Blame for all. STOP@ECOOP Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
2009	J	`jnl`	Monadic constraint programming. J. Funct. Program. Tom Schrijvers, Peter J. Stuckey, Philip Wadler
2009	C	`conf`	The RPC calculus. PPDP Ezra Cooper, Philip Wadler
2009	—	`conf`	Threesomes, with and without blame. STOP@ECOOP Jeremy G. Siek, Philip Wadler
2009	A	`conf`	Well-Typed Programs Can't Be Blamed. ESOP Philip Wadler, Robert Bruce Findler
2008	—	`conf`	Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. MSFP@ICALP Sam Lindley, Philip Wadler, Jeremy Yallop
2008	A*	`ed.`	Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 POPL George C. Necula, Philip Wadler
2008	B	`conf`	The Essence of Form Abstraction. APLAS Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
2007	—	`conf`	07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services Richard Hull, Peter Thiemann, Philip Wadler
2007	—	`conf`	07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services Richard Hull, Peter Thiemann, Philip Wadler
2007	—	`conf`	07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services Richard Hull, Peter Thiemann, Philip Wadler
2007	—	`conf`	A history of Haskell: being lazy with class. HOPL Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
2007	C	`conf`	Comprehensive comprehensions. Haskell Simon L. Peyton Jones, Philip Wadler
2007	J	`jnl`	Preface. Theor. Comput. Sci. Olivier Danvy, Peter W. O'Hearn, Philip Wadler
2007	—	`ed.`	Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007 Programming Paradigms for the Web: Web Programming and Web Services Richard Hull, Peter Thiemann, Philip Wadler
2007	J	`jnl`	The Girard-Reynolds isomorphism (second edition). Theor. Comput. Sci. Philip Wadler
2006	—	`conf`	Faith, evolution, and programming languages: from Haskell to Java to links. OOPSLA Companion Philip Wadler
2006	Misc	`ed.`	Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings FLOPS Masami Hagiya, Philip Wadler
2006	—	`book`	Java generics and collections. Maurice Naftalin, Philip Wadler
2006	—	`conf`	Links: Web Programming Without Tiers. FMCO Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
2005	—	`conf`	Call-by-Value Is Dual to Call-by-Name - Reloaded. RTA Philip Wadler
2004	—	`ed.`	Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004 Erlang Workshop Francesco Cesarini, Philip Wadler
2003	A	`conf`	Call-by-value is dual to call-by-name. ICFP Philip Wadler
2003	C	`ed.`	Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings PADL Verónica Dahl, Philip Wadler
2003	J	`jnl`	The Educational Pearls column. J. Funct. Program. Simon L. Peyton Jones, Philip Wadler
2003	J	`jnl`	The Girard-Reynolds isomorphism. Inf. Comput. Philip Wadler
2003	A*	`conf`	The essence of XML. POPL Jérôme Siméon, Philip Wadler
2003	J	`jnl`	The marriage of effects and monads. ACM Trans. Comput. Log. Philip Wadler, Peter Thiemann
2002	J	`jnl`	MSL: a model for W3C XML Schema. Comput. Networks Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler
2002	Misc	`conf`	The Essence of XML (Preliminary Version). FLOPS Jérôme Siméon, Philip Wadler
2002	—	`conf`	XQuery: A Typed Functional Language for Querying XML. Advanced Functional Programming Philip Wadler
2001	A	`conf`	A Semi-monad for Semi-structured Data. ICDT Mary F. Fernández, Jérôme Siméon, Philip Wadler
2001	A*	`conf`	Et tu, XML? The downfall of the relational empire (abstract). VLDB Philip Wadler
2001	J	`jnl`	Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
2001	A*	`conf`	MSL - a model for W3C XML schema. WWW Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler
2001	—	`conf`	The Girard-Reynolds Isomorphism. TACS Philip Wadler
2000	J	`jnl`	A Formal Semantics of Patterns in XSLT and XPath. Markup Lang. Philip Wadler
2000	—	`conf`	An Algebra for XML Query. FSTTCS Mary F. Fernández, Jérôme Siméon, Philip Wadler
2000	A	`ed.`	Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ICFP Martin Odersky, Philip Wadler
1999	J	`jnl`	Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1999	A	`conf`	Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
1999	—	`ch.`	How Enterprises Use Functional Languages, and Why They Don't. The Logic Programming Paradigm Philip Wadler
1999	J	`jnl`	Operational Interpretations of Linear Logic. Theor. Comput. Sci. David N. Turner, Philip Wadler
1998	A	`conf`	A Statically Safe Alternative to Virtual Types. ECOOP Kim B. Bruce, Martin Odersky, Philip Wadler
1998	J	`jnl`	An Angry Half-Dozen. ACM SIGPLAN Notices Philip Wadler
1998	B	`conf`	How to solve the reuse problem? Functional programming. ICSR Philip Wadler
1998	B	`conf`	Leftover curry and reheated Pizza: how functional programming nourishes software reuse. ICSR Martin Odersky, Philip Wadler
1998	A	`conf`	Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler
1998	J	`jnl`	The Call-by-Need Lambda Calculus. J. Funct. Program. John Maraist, Martin Odersky, Philip Wadler
1998	A	`conf`	The Marriage of Effects and Monads. ICFP Philip Wadler
1998	—	`conf`	Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming Martin Odersky, Enno Runne, Philip Wadler
1998	J	`jnl`	Why No One Uses Functional Languages. ACM SIGPLAN Notices Philip Wadler
1997	A	`conf`	A Practical Subtyping System For Erlang. ICFP Simon Marlow, Philip Wadler
1997	J	`jnl`	A Reflection on Call-by-Value. ACM Trans. Program. Lang. Syst. Amr Sabry, Philip Wadler
1997	—	`conf`	Functional Programming: An Angry Half-Dozen. DBPL Philip Wadler
1997	J	`jnl`	How to Declare an Imperative. ACM Comput. Surv. Philip Wadler
1997	A*	`conf`	Pizza into Java: Translating Theory into Practice. POPL Martin Odersky, Philip Wadler
1996	A	`conf`	A Reflection on Call-by-Value. ICFP Amr Sabry, Philip Wadler
1996	J	`jnl`	Lazy Versus Strict. ACM Comput. Surv. Philip Wadler
1996	A*	`conf`	Linear Logic, Monads and the Lambda Calculus. LICS P. N. Benton, Philip Wadler
1996	J	`jnl`	Type Classes in Haskell. ACM Trans. Program. Lang. Syst. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
1995	—	`conf`	A Second Look at Overloading. FPCA Martin Odersky, Philip Wadler, Martin Wehr
1995	B	`conf`	Call-by-name, call-by-value, call-by-need and the linear lambda calculus. MFPS John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1995	—	`conf`	How to Declare an Imperative. ILPS Philip Wadler
1995	—	`conf`	Monads for Functional Programming. Advanced Functional Programming Philip Wadler
1995	—	`conf`	Once Upon a Type. FPCA David N. Turner, Philip Wadler, Christian Mossin
1995	—	`conf`	Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) IWMM Philip Wadler
1995	A*	`conf`	The Call-by-Need Lambda Calculus. POPL Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
1994	J	`jnl`	Monads and Composable Continuations. LISP Symb. Comput. Philip Wadler
1994	A	`conf`	Type Classes in Haskell. ESOP Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
1993	B	`conf`	A Syntax for Linear Logic. MFPS Philip Wadler
1993	B	`conf`	A Taste of Linear Logic. MFCS Philip Wadler
1993	J	`jnl`	Functional Programming in Education - Introduction. J. Funct. Program. Simon J. Thompson, Philip Wadler
1993	A*	`conf`	Imperative Functional Programming. POPL Simon L. Peyton Jones, Philip Wadler
1992	A	`conf`	Avoiding Unnecessary Updates. Functional Programming John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
1992	A	`conf`	Combining Monads. Functional Programming David J. King, Philip Wadler
1992	J	`jnl`	Comprehending Monads. Math. Struct. Comput. Sci. Philip Wadler
1992	A	`conf`	Deforestation for Higher-Order Functions. Functional Programming Simon Marlow, Philip Wadler
1992	—	`book`	Einführung in die funktionale Programmierung. Richard S. Bird, Philip Wadler
1992	A	`ed.`	Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991 Functional Programming Rogardt Heldal, Carsten Kehler Holst, Philip Wadler
1992	—	`conf`	Monads for functional programming. NATO ASI PDC Philip Wadler
1992	J	`jnl`	Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson
1992	J	`jnl`	SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. ACM SIGPLAN Notices Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler
1992	A*	`conf`	The Essence of Functional Programming. POPL Philip Wadler
1992	A	`conf`	The Glasgow Haskell Compiler: A Retrospective. Functional Programming Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler
1991	C	`conf`	Is There a Use for Linear Logic? PEPM Philip Wadler
1990	—	`conf`	Comprehending Monads. LISP and Functional Programming Philip Wadler
1990	J	`jnl`	Deforestation: Transforming Programs to Eliminate Trees. Theor. Comput. Sci. Philip Wadler
1990	—	`conf`	Linear Types can Change the World! Programming Concepts and Methods Philip Wadler
1990	A	`conf`	Strictness Analysis in 4D. Functional Programming Kei Davis, Philip Wadler
1989	A	`conf`	Backwards Strictness Analysis: Proved and Improved. Functional Programming Kei Davis, Philip Wadler
1989	A*	`conf`	How to Make ad-hoc Polymorphism Less ad-hoc. POPL Philip Wadler, Stephen Blott
1989	—	`conf`	Theorems for Free! FPCA Philip Wadler
1988	A	`conf`	Deforestation: Transforming Programs to Eliminate Trees. ESOP Philip Wadler
1988	—	`book`	Introduction to functional programming. Richard S. Bird, Philip Wadler
1988	A*	`conf`	Strictness Analysis Aids Time Analysis. POPL Philip Wadler
1987	J	`jnl`	A critique of Abelson and Sussman or why calculating is better than scheming. ACM SIGPLAN Notices Philip Wadler
1987	J	`jnl`	Fixing some Space Leaks with a Garbage Collector. Softw. Pract. Exp. Philip Wadler
1987	—	`conf`	Projections for strictness analysis. FPCA Philip Wadler, R. J. M. Hughes
1987	A*	`conf`	Views: A Way for Pattern Matching to Cohabit with Data Abstraction. POPL Philip Wadler
1986	—	`conf`	A new array operation. Graph Reduction Philip Wadler
1985	J	`jnl`	A Simple Language is also a Functional Language. Softw. Pract. Exp. Philip Wadler
1985	—	`conf`	How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. FPCA Philip Wadler
1985	—	`conf`	Listlessness is better than laziness II: composing listless functions. Programs as Data Objects Philip Wadler
1984	—	`conf`	Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. LISP and Functional Programming Philip Wadler
1981	—	`conf`	Applicative style programming, program transformation, and list operators. FPCA Philip Wadler
1980	A*	`conf`	Experience with an Applicative String Processing Language. POPL James H. Morris Jr., Eric Schmidt, Philip Wadler
1976	J	`jnl`	Analysis of an Algorithm for Real Time Garbage Collection. Commun. ACM Philip Wadler