| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Philip Wadler 56 Mary F. Fernandez , Jérôme Siméon , Philip Wadler: A Semi-monad for Semi-structured Data. ICDT 2001 : 263-300 55 Philip Wadler: The Girard-Reynolds Isomorphism. TACS 2001 : 468-491 54 Philip Wadler: Et tu, XML? The downfall of the relational empire (abstract). VLDB 2001 : 15 53 Allen Brown , Matthew Fuchs , Jonathan Robie , Philip Wadler: MSL - a model for W3C XML schema. WWW 2001 : 191-200 52 Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler: Featherweight Java: a minimal core calculus for Java and GJ. TOPLAS 23 (3): 396-450 (2001) 51 Mary F. Fernandez , Jérôme Siméon , Philip Wadler: An Algebra for XML Query. FSTTCS 2000 : 11-45 50 Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler: Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999 : 132-146 49 David N. Turner , Philip Wadler: Operational Interpretations of Linear Logic. TCS 227 (1-2): 231-248 (1999) 48 John Maraist , Martin Odersky , David N. Turner , Philip Wadler: Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. TCS 228 (1-2): 175-210 (1999) 47 Kim B. Bruce , Martin Odersky , Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998 : 523-549 46 Martin Odersky , Enno Runne , Philip Wadler: Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming 1998 : 114-132 45 Philip Wadler: The Marriage of Effects and Monads. ICFP 1998 : 63-74 44 Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler: Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA 1998 : 183-200 43 John Maraist , Martin Odersky , Philip Wadler: The Call-by-Need Lambda Calculus. Journal of Functional Programming 8 (3): 275-317 (1998) 42 Philip Wadler: An Angry Half-Dozen. SIGPLAN Notices 33 (2): 25-30 (1998) 41 Philip Wadler: Why No One Uses Functional Languages. SIGPLAN Notices 33 (8): 23-27 (1998) 40 Philip Wadler: Functional Programming: An Angry Half-Dozen. DBPL 1997 : 25-34 39 Simon Marlow , Philip Wadler: A Practical Subtyping System For Erlang. ICFP 1997 : 136-149 38 Martin Odersky , Philip Wadler: Pizza into Java: Translating Theory into Practice. POPL 1997 : 146-159 37 Philip Wadler: How to Declare an Imperative. ACM Computing Surveys 29 (3): 240-263 (1997) 36 Amr Sabry , Philip Wadler: A Reflection on Call-by-Value. TOPLAS 19 (6): 916-941 (1997) 35 Amr Sabry , Philip Wadler: A Reflection on Call-by-Value. ICFP 1996 : 13-24 34 P. N. Benton , Philip Wadler: Linear Logic, Monads and the Lambda Calculus. LICS 1996 : 420-431 33 Philip Wadler: Lazy Versus Strict. ACM Computing Surveys 28 (2): 318-320 (1996) 32 Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip Wadler: Type Classes in Haskell. TOPLAS 18 (2): 109-138 (1996) 31 Philip Wadler: Monads for Functional Programming. Advanced Functional Programming 1995 : 24-52 30 David N. Turner , Philip Wadler, Christian Mossin : Once Upon a Type. FPCA 1995 : 1-11 29 Martin Odersky , Philip Wadler, Martin Wehr : A Second Look at Overloading. FPCA 1995 : 135-146 28 Philip Wadler: How to Declare an Imperative. ILPS 1995 : 18-32 27 Philip Wadler: Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). IWMM 1995 : 117 26 Zena M. Ariola , Matthias Felleisen , John Maraist , Martin Odersky , Philip Wadler: The Call-by-Need Lambda Calculus. POPL 1995 : 233-246 25 Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip Wadler: Type Classes in Haskell. ESOP 1994 : 241-256 24 Philip Wadler: A Taste of Linear Logic. MFCS 1993 : 185-210 23 Philip Wadler: A Syntax for Linear Logic. MFPS 1993 : 513-529 22 Simon L. Peyton Jones , Philip Wadler: Imperative Functional Programming. POPL 1993 : 71-84 21 Simon J. Thompson , Philip Wadler: Functional Programming in Education - Introduction. Journal of Functional Programming 3 (1): 3-4 (1993) 20 Philip Wadler: The Essence of Functional Programming. POPL 1992 : 1-14 19 Philip Wadler: Comprehending Monads. Mathematical Structures in Computer Science 2 (4): 461-493 (1992) 18 Joseph H. Fasel , Paul Hudak , Simon L. Peyton Jones , Philip Wadler: SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. SIGPLAN Notices 27 (5): 1 (1992) 17 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 27 (5): R1-R164 (1992) 16 Philip Wadler: Is There a Use for Linear Logic? PEPM 1991 : 255-273 15 Philip Wadler: Comprehending Monads. LISP and Functional Programming 1990 : 61-78 14 Philip Wadler: Deforestation: Transforming Programs to Eliminate Trees. TCS 73 (2): 231-248 (1990) 13 Philip Wadler: Theorems for Free! FPCA 1989 : 347-359 12 Philip Wadler, Stephen Blott : How to Make ad-hoc Polymorphism Less ad-hoc. POPL 1989 : 60-76 11 Philip Wadler: Deforestation: Transforming Programs to Eliminate Trees. ESOP 1988 : 344-358 10 Philip Wadler: Strictness Analysis Aids Time Analysis. POPL 1988 : 119-132 9 Philip Wadler, R. J. M. Hughes : Projections for strictness analysis. FPCA 1987 : 385-407 8 Philip Wadler: Views: A Way for Pattern Matching to Cohabit with Data Abstraction. POPL 1987 : 307-313 7 Philip Wadler: Fixing some Space Leaks with a Garbage Collector. Software - Practice and Experience 17 (9): 595-608 (1987) 6 Philip Wadler: A new array operation. Graph Reduction 1986 : 328-335 5 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 : 113-128 4 Philip Wadler: A Simple Language is also a Functional Language. Software - Practice and Experience 15 (2): 219 (1985) 3 Philip Wadler: Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. LISP and Functional Programming 1984 : 45-52 2 James H. Morris Jr. , Eric Schmidt , Philip Wadler: Experience with an Applicative String Processing Language. POPL 1980 : 32-46 1 Philip Wadler: Analysis of an Algorithm for Real Time Garbage Collection. CACM 19 (9): 491-500 (1976)  DiSC'02 © 2003 Association for Computing Machinery |
