BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Cyprus
1 × Denmark
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
1 × The Netherlands
2 × Japan
2 × Sweden
21 × USA
4 × France
5 × United Kingdom
Collaborated with:
S.Lindley M.Odersky S.L.P.Jones J.G.Siek J.Siméon J.Cheney R.B.Findler Jack Williams J.G.Morris E.Cooper S.Marlow A.Sabry P.N.Benton S.Blott R.J.M.Hughes P.Thiemann A.Igarashi B.C.Pierce K.B.Bruce M.Wehr D.N.Turner C.Mossin J.H.M.Jr. E.Schmidt Simon Fowler 0001 G.Radanne A.Ahmed G.Bracha D.Stoutamire C.V.Hall K.Hammond Jakub Zalewski S.Najd J.Svenningsson Z.M.Ariola M.Felleisen J.Maraist G.Bottu G.Karachalias T.Schrijvers B.C.d.S.Oliveira N.Vazou Anish Tondwalkar V.Choudhury R.G.Scott R.R.Newton R.Jhala
Talks about:
languag (7) type (7) program (6) queri (6) call (6) function (5) analysi (5) blame (5) calculus (4) monad (4)

Person: Philip Wadler

DBLP DBLP: Wadler:Philip

Facilitated 4 volumes:

POPL 2008Ed
FLOPS 2006Ed
PADL 2003Ed
ICFP 2000Ed

Contributed to:

PLDI 20152015
PEPM 20142014
SIGMOD 20142014
ICFP 20132013
ICFP 20122012
POPL 20112011
ESOP 20102010
POPL 20102010
ESOP 20092009
PPDP 20092009
RTA 20052005
ICFP 20032003
POPL 20032003
AFP 20022002
FLOPS 20022002
VLDB 20012001
OOPSLA 19991999
ECOOP 19981998
ICFP 19981998
OOPSLA 19981998
ICFP 19971997
POPL 19971997
ICFP 19961996
LICS 19961996
AFP 19951995
FPCA 19951995
ILPS 19951995
ISMM 19951995
POPL 19951995
ESOP 19941994
POPL 19931993
POPL 19921992
PEPM 19911991
LFP 19901990
FPCA 19891989
POPL 19891989
ESOP 19881988
POPL 19881988
FPCA 19871987
POPL 19871987
FPCA 19851985
LFP 19841984
POPL 19801980
Haskell 20072007
Haskell 20172017
ECOOP 20172017
OOPSLA 20182018
PEPM 20162016
POPL 20182018

Wrote 51 papers:

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.
Propositions as sessions (PW), pp. 273–286.
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.
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.
A Second Look at Overloading (MO, PW, MW), pp. 135–146.
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.
Comprehensive comprehensions (SLPJ, PW), pp. 61–72.
Haskell-2017-BottuKSOW #constraints #quantifier
Quantified class constraints (GJB, GK, TS, BCdSO, PW), pp. 148–161.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.