Person: Philip Wadler

DBLP: Wadler:Philip

Facilitated 4 volumes:

Ed

Ed

Ed

Ed

Contributed to:

2015

2014

2014

2013

2012

2011

2010

2010

2009

2009

2005

2003

2003

2002

2002

2001

1999

1998

1998

1998

1997

1997

1996

1996

1995

1995

1995

1995

1995

1994

1993

1992

1991

1990

1989

1989

1988

1988

1987

1987

1985

1984

1980

2007

2017

2017

2018

2016

2018

Wrote 51 papers:

PLDI-2015-SiekTW

Blame and coercion: together again for the first time (JGS, PT, PW), pp. 425–435.

PEPM-2014-CheneyLRW #effectiveness #query

Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.

SIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational

Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.

ICFP-2013-CheneyLW #query

A practical theory of language-integrated query (JC, SL, PW), pp. 403–416.

ICFP-2012-Wadler

Propositions as sessions (PW), pp. 273–286.

POPL-2011-AhmedFSW

Blame for all (AA, RBF, JGS, PW), pp. 201–214.

ESOP-2010-LindleyW #database

The Audacity of Hope: Thoughts on Reclaiming the Database Dream (SL, PW), p. 1.

POPL-2010-SiekW

Threesomes, with and without blame (JGS, PW), pp. 365–376.

ESOP-2009-WadlerF #source code

Well-Typed Programs Can’t Be Blamed (PW, RBF), pp. 1–16.

PPDP-2009-CooperW #calculus

The RPC calculus (EC, PW), pp. 231–242.

RTA-2005-Wadler #call-by

Call-by-Value Is Dual to Call-by-Name — Reloaded (PW), pp. 185–203.

ICFP-2003-Wadler #call-by

Call-by-value is dual to call-by-name (PW), pp. 189–201.

POPL-2003-SimeonW #xml

The essence of XML (JS, PW), pp. 1–13.

AFP-2002-Wadler02 #functional #named #query #xml #xquery

XQuery: A Typed Functional Language for Querying XML (PW), pp. 188–212.

FLOPS-2002-SimeonW #xml

The Essence of XML (JS, PW), pp. 21–46.

VLDB-2001-Wadler #relational #xml

Et tu, XML? The downfall of the relational empire (PW), p. 15.

OOPSLA-1999-IgarashiPW #calculus #java

Featherweight Java: A Minimal Core Calculus for Java and GJ (AI, BCP, PW), pp. 132–146.

ECOOP-1998-BruceOW #static typing

A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.

ICFP-1998-Wadler #monad

The Marriage of Effects and Monads (PW), pp. 63–74.

OOPSLA-1998-BrachaOSW #java #programming language

Making the Future Safe for the Past: Adding Genericity to the Java Programming Language (GB, MO, DS, PW), pp. 183–200.

ICFP-1997-MarlowW #erlang #type system

A Practical Subtyping System For Erlang (SM, PW), pp. 136–149.

POPL-1997-OderskyW #java

Pizza into Java: Translating Theory into Practice (MO, PW), pp. 146–159.

ICFP-1996-SabryW #call-by

A Reflection on Call-by-Value (AS, PW), pp. 13–24.

LICS-1996-BentonW #linear #logic #monad #λ-calculus

Linear Logic, Monads and the λ Calculus (PNB, PW), pp. 420–431.

AFP-1995-Wadler95 #functional #monad #programming

Monads for Functional Programming (PW), pp. 24–52.

FPCA-1995-OderskyWW

A Second Look at Overloading (MO, PW, MW), pp. 135–146.

FPCA-1995-TurnerWM

Once Upon a Type (DNT, PW, CM), pp. 1–11.

ILPS-1995-Wadler #how #imperative

How to Declare an Imperative (PW), pp. 18–32.

IWMM-1995-Wadler #static analysis

Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (PW), p. 117.

POPL-1995-AriolaFMOW #call-by #λ-calculus

The Call-by-Need λ Calculus (ZMA, MF, JM, MO, PW), pp. 233–246.

ESOP-1994-HallHJW #haskell

Type Classes in Haskell (CVH, KH, SLPJ, PW), pp. 241–256.

POPL-1993-JonesW #functional #imperative #programming

Imperative Functional Programming (SLPJ, PW), pp. 71–84.

POPL-1992-Wadler #functional #programming

The Essence of Functional Programming (PW), pp. 1–14.

PEPM-1991-Wadler #linear #logic #question

Is There a Use for Linear Logic? (PW), pp. 255–273.

LFP-1990-Wadler #monad

Comprehending Monads (PW), pp. 61–78.

FPCA-1989-Wadler #exclamation #for free #theorem

Theorems for Free! (PW), pp. 347–359.

POPL-1989-WadlerB #ad hoc #how #morphism #polymorphism

How to Make ad-hoc Polymorphism Less ad-hoc (PW, SB), pp. 60–76.

ESOP-1988-Wadler #deforestation #named #source code

Deforestation: Transforming Programs to Eliminate Trees (PW), pp. 344–358.

POPL-1988-Wadler #analysis #strict

Strictness Analysis Aids Time Analysis (PW), pp. 119–132.

FPCA-1987-WadlerH #analysis #strict

Projections for strictness analysis (PW, RJMH), pp. 385–407.

POPL-1987-Wadler #abstraction #named #pattern matching

Views: A Way for Pattern Matching to Cohabit with Data Abstraction (PW), pp. 307–313.

FPCA-1985-Wadler85 #backtracking #exception #functional #how #lazy evaluation #pattern matching

How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (PW), pp. 113–128.

LFP-1984-Wadler #evaluation #garbage collection #lazy evaluation

Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time (PW), pp. 45–52.

POPL-1980-MorrisSW #experience #string

Experience with an Applicative String Processing Language (JHMJ, ES, PW), pp. 32–46.

Haskell-2007-JonesW

Comprehensive comprehensions (SLPJ, PW), pp. 61–72.

Haskell-2017-BottuKSOW #constraints #quantifier

Quantified class constraints (GJB, GK, TS, BCdSO, PW), pp. 148–161.

ECOOP-2017-FowlerLW

Mixing Metaphors: Actors as Channels and Channels as Actors (SF0, SL, PW), p. 28.

ECOOP-2017-WilliamsMWZ #consistency #typescript

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.

OOPSLA-2018-WilliamsMW #contract #using

The root cause of blame: contracts for intersection and union types (JW, JGM, PW), p. 29.

PEPM-2016-NajdLSW #domain-specific language

Everything old is new again: quoted domain-specific languages (SN, SL, JS, PW), pp. 25–36.

POPL-2018-VazouTCSNWJ #refinement #smt #verification

Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.