| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sam Lindley, Philip Wadler, Jeremy Yallop |
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
Blame for all. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Philip Wadler, Jeremy Yallop |
The arrow calculus. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Philip Wadler |
Threesomes, with and without blame. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
blame tracking, lambda-calculus, coercions, casts |
| 1 | Sam Lindley, Philip Wadler |
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Peter J. Stuckey, Philip Wadler |
Monadic constraint programming. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezra Cooper, Philip Wadler |
The RPC calculus. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
location-aware language, trampolined style, programming languages, web programming, continuation-passing style, defunctionalization |
| 1 | Philip Wadler, Robert Bruce Findler |
Well-Typed Programs Can't Be Blamed. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Philip Wadler (eds.) |
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 |
POPL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
The Essence of Form Abstraction. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Peter W. O'Hearn, Philip Wadler |
Preface. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
The Girard-Reynolds isomorphism (second edition). |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Richard Hull, Peter Thiemann, Philip Wadler (eds.) |
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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler |
A history of Haskell: being lazy with class. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Philip Wadler |
Comprehensive comprehensions. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
list comprehension, SQL, aggregate, query |
| 1 | Maurice Naftalin, Philip Wadler |
Java generics and collections - speed up the Java development process. |
|
2006 |
RDF |
|
| 1 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
Links: Web Programming Without Tiers. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Philip Wadler (eds.) |
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings |
FLOPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
Faith, evolution, and programming languages: from Haskell to Java to links. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism |
| 1 | Philip Wadler |
Call-by-Value Is Dual to Call-by-Name - Reloaded. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Cesarini, Philip Wadler (eds.) |
Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004 |
Erlang Workshop |
2004 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
Call-by-value is dual to call-by-name. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
The Girard-Reynolds isomorphism. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler, Peter Thiemann |
The marriage of effects and monads. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
type reconstruction, type, effect, Monad, region |
| 1 | Simon L. Peyton Jones, Philip Wadler |
The Educational Pearls column. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Dahl, Philip Wadler (eds.) |
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings |
PADL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Siméon, Philip Wadler |
The essence of XML. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
XML, validation, XPath, XQuery, XML schema |
| 1 | Philip Wadler |
Call-by-value is dual to call-by-name. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction |
| 1 | Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler |
MSL: a model for W3C XML Schema. |
Computer Networks |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Siméon, Philip Wadler |
The Essence of XML (Preliminary Version). |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
XQuery: A Typed Functional Language for Querying XML. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Fankhauser, Mary F. Fernández, Ashok Malhotra, Michael Rys, Jérôme Siméon, Philip Wadler (eds.) |
The XML Query Algebra |
|
2001 |
RDF |
|
| 1 | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
Featherweight Java: a minimal core calculus for Java and GJ. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
generic classes, Java, Compilation, language design, language semantics |
| 1 | Philip Wadler |
The Girard-Reynolds Isomorphism. |
TACS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler |
MSL - a model for W3C XML schema. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Philip Wadler |
Et tu, XML? The downfall of the relational empire (abstract). |
VLDB |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mary F. Fernández, Jérôme Siméon, Philip Wadler |
A Semi-monad for Semi-structured Data. |
ICDT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky, Philip Wadler (eds.) |
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. |
ICFP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mary F. Fernández, Jérôme Siméon, Philip Wadler |
An Algebra for XML Query. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Turner, Philip Wadler |
Operational Interpretations of Linear Logic. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
Featherwieght Java: A Minimal Core Calculus for Java and GJ. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java, implementation, language design, theoretical foundations |
| 1 | Philip Wadler |
An Angry Half-Dozen. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Why No One Uses Functional Languages. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Maraist, Martin Odersky, Philip Wadler |
The Call-by-Need Lambda Calculus. |
J. Funct. Program. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Martin Odersky, Enno Runne, Philip Wadler |
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. |
Generic Programming |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
The Marriage of Effects and Monads. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler |
Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Kim B. Bruce, Martin Odersky, Philip Wadler |
A Statically Safe Alternative to Virtual Types. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
virtual types, static type checking, Language design, parametric polymorphism |
| 1 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compiling, continuations, category theory, Galois connections |
| 1 | Philip Wadler |
How to Declare an Imperative. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, monad |
| 1 | Martin Odersky, Philip Wadler |
Pizza into Java: Translating Theory into Practice. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Simon Marlow, Philip Wadler |
A Practical Subtyping System For Erlang. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ERLANG |
| 1 | Philip Wadler |
Functional Programming: An Angry Half-Dozen. |
DBPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, Haskell, types, type classes |
| 1 | Philip Wadler |
Lazy Versus Strict. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Philip Wadler |
Linear Logic, Monads and the Lambda Calculus. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John Maraist, Martin Odersky, David N. Turner, Philip Wadler |
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
The Call-by-Need Lambda Calculus. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) |
IWMM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
How to Declare an Imperative. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
Monads for Functional Programming. |
Advanced Functional Programming |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Turner, Philip Wadler, Christian Mossin |
Once Upon a Type. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Martin Odersky, Philip Wadler, Martin Wehr |
A Second Look at Overloading. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
Monads and Composable Continuations. |
Lisp and Symbolic Computation |
1994 |
DBLP BibTeX RDF |
|
| 1 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Thompson, Philip Wadler |
Functional Programming in Education - Introduction. |
J. Funct. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
A Syntax for Linear Logic. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
A Taste of Linear Logic. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Philip Wadler |
Imperative Functional Programming. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
C, Haskell |
| 1 | Philip Wadler |
Comprehending Monads. |
Mathematical Structures in Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler |
SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. |
SIGPLAN Notices |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. |
SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Philip Wadler |
Einführung in die funktionale Programmierung. |
|
1992 |
RDF |
|
| 1 | John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler |
Avoiding Unnecessary Updates. |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | David J. King, Philip Wadler |
Combining Monads. |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Simon Marlow, Philip Wadler |
Deforestation for Higher-Order Functions. |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Rogardt Heldal, Carsten Kehler Holst, Philip Wadler (eds.) |
Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler |
The Glasgow Haskell Compiler: A Retrospective. |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
The Essence of Functional Programming. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Is There a Use for Linear Logic? |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Deforestation: Transforming Programs to Eliminate Trees. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Comprehending Monads. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kei Davis, Philip Wadler |
Backwards Strictness Analysis: Proved and Improved. |
Functional Programming |
1989 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler, Stephen Blott |
How to Make ad-hoc Polymorphism Less ad-hoc. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Philip Wadler |
Theorems for Free! |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Philip Wadler |
Introduction to functional programming. |
|
1988 |
RDF |
|
| 1 | Philip Wadler |
Strictness Analysis Aids Time Analysis. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Deforestation: Transforming Programs to Eliminate Trees. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Fixing some Space Leaks with a Garbage Collector. |
Softw., Pract. Exper. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Views: A Way for Pattern Matching to Cohabit with Data Abstraction. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler, R. J. M. Hughes |
Projections for strictness analysis. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
A new array operation. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
A Simple Language is also a Functional Language. |
Softw., Pract. Exper. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
Listlessness is better than laziness II: composing listless functions. |
Programs as Data Objects |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")