Philip Wadler

ORCID

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 38

Top Venues

CoRR

Proc. ACM Program. Lang.

J. Funct. Program.

ISoLA (3)

Publications

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
Structured Contracts in the EUTxO Ledger Model. FMBC@CAV (2024)
Jeremy G. Siek, Peter Thiemann, Philip Wadler
Blame and coercion: Together again for the first time. J. Funct. Program. 31 (2021)
Adolfo Duran, Philip Wadler
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. Sci. Comput. Program. 201 (2021)
Philip Wadler
GATE: Gradual Effect Types. ISoLA (2021)
Wen Kokke, Jeremy G. Siek, Philip Wadler
Programming language foundations in Agda. Sci. Comput. Program. 194 (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight Go. CoRR (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight go. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
: UTXO with Multi-asset Support. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) (2020)
Dominic Orchard, Philip Wadler, Harley Eades III
Unifying graded and parameterised monads. MSFP@ETAPS (2020)
Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. 30 (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
The Extended UTXO Model. Financial Cryptography Workshops (2020)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. Log. Methods Comput. Sci. 16 (4) (2020)
Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
Unraveling Recursion: Compiling an IR with Recursion to System F. MPC (2019)
Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
COCHIS: Stable and coherent implicits. J. Funct. Program. 29 (2019)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. CoRR (2019)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. COORDINATION (2019)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. J. Funct. Program. 29 (2019)
James Chapman, Roman Kireev, Chad Nester, Philip Wadler
System F in Agda, for Fun and Profit. MPC (2019)
Jack Williams, J. Garrett Morris, Philip Wadler
The root cause of blame: contracts for intersection and union types. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2 (POPL) (2018)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual Session Types. CoRR (2018)
Philip Wadler
Programming Language Foundations in Agda. SBMF (2018)
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ECOOP (2017)
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
Quantified class constraints. Haskell (2017)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement Reflection: Complete Verification with SMT. CoRR (2017)
Simon Fowler, Sam Lindley, Philip Wadler
Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP (2017)
Philip Wadler
Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday. J. Univers. Comput. Sci. 23 (1) (2017)
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7 (1) (2017)
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Philip Wadler
Technical Perspective: Why didn't I think of that? Commun. ACM 59 (8) (2016)
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
Embedding by Normalisation. CoRR (2016)
Simon Fowler, Sam Lindley, Philip Wadler
Mixing Metaphors: Actors as Channels and Channels as Actors. CoRR (2016)
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR (2016)
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
Everything old is new again: quoted domain-specific languages. PEPM (2016)
Brad A. Myers, Andreas Stefik, Stefan Hanenberg, Antti-Juhani Kaijanaho, Margaret M. Burnett, Franklyn A. Turbak, Philip Wadler
Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016. CHI Extended Abstracts (2016)
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
Everything old is new again: Quoted Domain Specific Languages. CoRR (2015)
Jeremy G. Siek, Peter Thiemann, Philip Wadler
Blame and coercion: together again for the first time. PLDI (2015)
Philip Wadler
A Complement to Blame. SNAPL (2015)
Philip Wadler
Propositions as types. Commun. ACM 58 (12) (2015)
James Cheney, Sam Lindley, Philip Wadler
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR (2014)
Atsushi Igarashi, Peter Thiemann, Philip Wadler
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014)
Jiansen He, Philip Wadler, Philip W. Trinder
Typecasting actors: from Akka to TAkka. SCALA@ECOOP (2014)
Philip Wadler
You and Your Research and the Elements of Style. ICCSW (2014)
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Effective quotation: relating approaches to language-integrated query. PEPM (2014)
Philip Wadler
Propositions as sessions. J. Funct. Program. 24 (2-3) (2014)
James Cheney, Sam Lindley, Philip Wadler
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference (2014)
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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
James Cheney, Sam Lindley, Philip Wadler
A practical theory of language-integrated query. ICFP (2013)
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
Principles of POPL. ACM SIGPLAN Notices 48 (4S) (2013)
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Effective Quotation. CoRR (2013)
Philip Wadler
SIGPLAN chair's report. ACM SIGPLAN Notices 47 (4a) (2012)
Philip Wadler
Propositions as sessions. ICFP (2012)
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
Blame for all. POPL (2011)
Sam Lindley, Philip Wadler, Jeremy Yallop
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Sam Lindley, Philip Wadler, Jeremy Yallop
The arrow calculus. J. Funct. Program. 20 (1) (2010)
Jeremy G. Siek, Philip Wadler
Threesomes, with and without blame. POPL (2010)
Sam Lindley, Philip Wadler
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP (2010)
Philip Wadler, Robert Bruce Findler
Well-Typed Programs Can't Be Blamed. ESOP (2009)
Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
Blame for all. STOP@ECOOP (2009)
Tom Schrijvers, Peter J. Stuckey, Philip Wadler
Monadic constraint programming. J. Funct. Program. 19 (6) (2009)
Ezra Cooper, Philip Wadler
The RPC calculus. PPDP (2009)
Jeremy G. Siek, Philip Wadler
Threesomes, with and without blame. STOP@ECOOP (2009)
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
The Essence of Form Abstraction. APLAS (2008)
Philip Wadler
The Girard-Reynolds isomorphism (second edition). Theor. Comput. Sci. 375 (1-3) (2007)
Richard Hull, Peter Thiemann, Philip Wadler
07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services (2007)
Simon L. Peyton Jones, Philip Wadler
Comprehensive comprehensions. Haskell (2007)
Richard Hull, Peter Thiemann, Philip Wadler
07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services (2007)
Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
A history of Haskell: being lazy with class. HOPL (2007)
Richard Hull, Peter Thiemann, Philip Wadler
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services (2007)
Olivier Danvy, Peter W. O'Hearn, Philip Wadler
Preface. Theor. Comput. Sci. 375 (1-3) (2007)
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
Links: Web Programming Without Tiers. FMCO (2006)
Philip Wadler
Faith, evolution, and programming languages: from Haskell to Java to links. OOPSLA Companion (2006)
Philip Wadler
Call-by-Value Is Dual to Call-by-Name - Reloaded. RTA (2005)
Philip Wadler, Peter Thiemann
The marriage of effects and monads. ACM Trans. Comput. Log. 4 (1) (2003)
Philip Wadler
Call-by-value is dual to call-by-name. SIGPLAN Notices (2003)
Philip Wadler
The Girard-Reynolds isomorphism. Inf. Comput. 186 (2) (2003)
Simon L. Peyton Jones, Philip Wadler
The Educational Pearls column. J. Funct. Program. 13 (5) (2003)
Philip Wadler
Call-by-value is dual to call-by-name. ICFP (2003)
Jérôme Siméon, Philip Wadler
The essence of XML. POPL (2003)
Philip Wadler
XQuery: A Typed Functional Language for Querying XML. Advanced Functional Programming (2002)
Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler
MSL: a model for W3C XML Schema. Comput. Networks 39 (5) (2002)
Jérôme Siméon, Philip Wadler
The Essence of XML (Preliminary Version). FLOPS (2002)
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23 (3) (2001)
Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler
MSL - a model for W3C XML schema. WWW (2001)
Philip Wadler
Et tu, XML? The downfall of the relational empire (abstract). VLDB (2001)
Philip Wadler
The Girard-Reynolds Isomorphism. TACS (2001)
Mary F. Fernández, Jérôme Siméon, Philip Wadler
A Semi-monad for Semi-structured Data. ICDT (2001)
Philip Wadler
A Formal Semantics of Patterns in XSLT and XPath. Markup Lang. 2 (2) (2000)
Mary F. Fernández, Jérôme Siméon, Philip Wadler
An Algebra for XML Query. FSTTCS (2000)
David N. Turner, Philip Wadler
Operational Interpretations of Linear Logic. Theor. Comput. Sci. 227 (1-2) (1999)
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. 228 (1-2) (1999)
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA (1999)
Martin Odersky, Enno Runne, Philip Wadler
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming (1998)
Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler
Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA (1998)
Kim B. Bruce, Martin Odersky, Philip Wadler
A Statically Safe Alternative to Virtual Types. ECOOP (1998)
Philip Wadler
Why No One Uses Functional Languages. ACM SIGPLAN Notices 33 (8) (1998)
Philip Wadler
The Marriage of Effects and Monads. ICFP (1998)

Philip Wadler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Philip Wadler