Philip Wadler

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
90Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Sam Lindley, Philip Wadler, Jeremy Yallop. Electr. Notes Theor. Comput. Sci. (229): 97-117 (2011). Web SearchBibTeXDownload
89Blame for all. Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler. POPL 2011, 201-214. Web SearchBibTeXDownload
2010
88The Audacity of Hope: Thoughts on Reclaiming the Database Dream. Sam Lindley, Philip Wadler. ESOP 2010, 1. Web SearchBibTeXDownload
87The arrow calculus. Sam Lindley, Philip Wadler, Jeremy Yallop. J. Funct. Program. (20): 51-69 (2010). Web SearchBibTeXDownload
86Threesomes, with and without blame. Jeremy G. Siek, Philip Wadler. POPL 2010, 365-376. Web SearchBibTeXDownload
2009
85Well-Typed Programs Can't Be Blamed. Philip Wadler, Robert Bruce Findler. ESOP 2009, 1-16. Web SearchBibTeXDownload
84Monadic constraint programming. Tom Schrijvers, Peter J. Stuckey, Philip Wadler. J. Funct. Program. (19): 663-697 (2009). Web SearchBibTeXDownload
83The RPC calculus. Ezra Cooper, Philip Wadler. PPDP 2009, 231-242. Web SearchBibTeXDownload
2008
82The Essence of Form Abstraction. Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop. APLAS 2008, 205-220. Web SearchBibTeXDownload
2007
81Comprehensive comprehensions. Simon L. Peyton Jones, Philip Wadler. Haskell 2007, 61-72. Web SearchBibTeXDownload
80A history of Haskell: being lazy with class. Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler. HOPL 2007, 1-55. Web SearchBibTeXDownload
7907051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Richard Hull, Peter Thiemann, Philip Wadler. Programming Paradigms for the Web: Web Programming and Web Services 2007. Web SearchBibTeXDownload
7807051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Richard Hull, Peter Thiemann, Philip Wadler. Programming Paradigms for the Web: Web Programming and Web Services 2007. Web SearchBibTeXDownload
7707051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Richard Hull, Peter Thiemann, Philip Wadler. Programming Paradigms for the Web: Web Programming and Web Services 2007. Web SearchBibTeXDownload
76The Girard-Reynolds isomorphism (second edition). Philip Wadler. Theor. Comput. Sci. (375): 201-226 (2007). Web SearchBibTeXDownload
2006
75Links: Web Programming Without Tiers. Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop. FMCO 2006, 266-296. Web SearchBibTeXDownload
74Faith, evolution, and programming languages: from Haskell to Java to links. Philip Wadler. OOPSLA Companion 2006, 508. Web SearchBibTeXDownload
2005
73Call-by-Value Is Dual to Call-by-Name - Reloaded. Philip Wadler. RTA 2005, 185-203. Web SearchBibTeXDownload
2003
72The marriage of effects and monads. Philip Wadler, Peter Thiemann. ACM Trans. Comput. Log. (4): 1-32 (2003). Web SearchBibTeXDownload
71Call-by-value is dual to call-by-name. Philip Wadler. ICFP 2003, 189-201. Web SearchBibTeXDownload
70The Girard-Reynolds isomorphism. Philip Wadler. Inf. Comput. (186): 260-284 (2003). Web SearchBibTeXDownload
69The Educational Pearls column. Simon L. Peyton Jones, Philip Wadler. J. Funct. Program. (13): 833-834 (2003). Web SearchBibTeXDownload
68The essence of XML. Jérôme Siméon, Philip Wadler. POPL 2003, 1-13. Cited by 104Web SearchBibTeXDownload
2002
67XQuery: A Typed Functional Language for Querying XML. Philip Wadler. Advanced Functional Programming 2002, 188-212. Web SearchBibTeXDownload
66MSL: a model for W3C XML Schema. Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler. Computer Networks (39): 507-521 (2002). Cited by 54Web SearchBibTeXDownload
65The Essence of XML (Preliminary Version). Jérôme Siméon, Philip Wadler. FLOPS 2002, 21-46. Cited by 2Web SearchBibTeXDownload
2001
64Featherweight Java: a minimal core calculus for Java and GJ. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler. ACM Trans. Program. Lang. Syst. (23): 396-450 (2001). Web SearchBibTeXDownload
63A Semi-monad for Semi-structured Data. Mary F. Fernández, Jérôme Siméon, Philip Wadler. ICDT 2001, 263-300. Cited by 67Web SearchBibTeXDownload
62The Girard-Reynolds Isomorphism. Philip Wadler. TACS 2001, 468-491. Web SearchBibTeXDownload
61Et tu, XML? The downfall of the relational empire (abstract). Philip Wadler. VLDB 2001, 15. Web SearchBibTeXDownload
60MSL - a model for W3C XML schema. Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler. WWW 2001, 191-200. Cited by 2Web SearchBibTeXDownload
2000
59An Algebra for XML Query. Mary F. Fernández, Jérôme Siméon, Philip Wadler. FSTTCS 2000, 11-45. Cited by 89Web SearchBibTeXDownload
1999
58Featherwieght Java: A Minimal Core Calculus for Java and GJ. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler. OOPSLA 1999, 132-146. Web SearchBibTeXDownload
57Operational Interpretations of Linear Logic. David N. Turner, Philip Wadler. Theor. Comput. Sci. (227): 231-248 (1999). Web SearchBibTeXDownload
56Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. John Maraist, Martin Odersky, David N. Turner, Philip Wadler. Theor. Comput. Sci. (228): 175-210 (1999). Web SearchBibTeXDownload
1998
55A Statically Safe Alternative to Virtual Types. Kim B. Bruce, Martin Odersky, Philip Wadler. ECOOP 1998, 523-549. Web SearchBibTeXDownload
54Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Martin Odersky, Enno Runne, Philip Wadler. Generic Programming 1998, 114-132. Web SearchBibTeXDownload
53The Marriage of Effects and Monads. Philip Wadler. ICFP 1998, 63-74. Web SearchBibTeXDownload
52The Call-by-Need Lambda Calculus. John Maraist, Martin Odersky, Philip Wadler, Martin Odersky, Philip Wadler. J. Funct. Program. (8): 275-317 (1998). Web SearchBibTeXDownload
51Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler. OOPSLA 1998, 183-200. Web SearchBibTeXDownload
50An Angry Half-Dozen. Philip Wadler. SIGPLAN Notices (33): 25-30 (1998). Web SearchBibTeXDownload
49Why No One Uses Functional Languages. Philip Wadler. SIGPLAN Notices (33): 23-27 (1998). Web SearchBibTeXDownload
1997
48How to Declare an Imperative. Philip Wadler. ACM Comput. Surv. (29): 240-263 (1997). Web SearchBibTeXDownload
47A Reflection on Call-by-Value. Amr Sabry, Philip Wadler. ACM Trans. Program. Lang. Syst. (19): 916-941 (1997). Web SearchBibTeXDownload
46Functional Programming: An Angry Half-Dozen. Philip Wadler. DBPL 1997, 25-34. Web SearchBibTeXDownload
45A Practical Subtyping System For Erlang. Simon Marlow, Philip Wadler. ICFP 1997, 136-149. Web SearchBibTeXDownload
44Pizza into Java: Translating Theory into Practice. Martin Odersky, Philip Wadler. POPL 1997, 146-159. Web SearchBibTeXDownload
1996
43Lazy Versus Strict. Philip Wadler. ACM Comput. Surv. (28): 318-320 (1996). Web SearchBibTeXDownload
42Type Classes in Haskell. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler. ACM Trans. Program. Lang. Syst. (18): 109-138 (1996). Web SearchBibTeXDownload
41A Reflection on Call-by-Value. Amr Sabry, Philip Wadler. ICFP 1996, 13-24. Web SearchBibTeXDownload
40Linear Logic, Monads and the Lambda Calculus. P. N. Benton, Philip Wadler. LICS 1996, 420-431. Web SearchBibTeXDownload
1995
39Monads for Functional Programming. Philip Wadler. Advanced Functional Programming 1995, 24-52. Web SearchBibTeXDownload
38Call-by-name, call-by-value, call-by-need and the linear lambda calculus. John Maraist, Martin Odersky, David N. Turner, Philip Wadler. Electr. Notes Theor. Comput. Sci. (1): 370-392 (1995). Web SearchBibTeXDownload
37Once Upon a Type. David N. Turner, Philip Wadler, Christian Mossin. FPCA 1995, 1-11. Web SearchBibTeX
36A Second Look at Overloading. Martin Odersky, Philip Wadler, Martin Wehr. FPCA 1995, 135-146. Web SearchBibTeX
35How to Declare an Imperative. Philip Wadler. ILPS 1995, 18-32. Web SearchBibTeX
34Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). Philip Wadler. IWMM 1995, 117. Web SearchBibTeXDownload
33The Call-by-Need Lambda Calculus. John Maraist, Martin Odersky, Philip Wadler, Martin Odersky, Philip Wadler. POPL 1995, 233-246. Web SearchBibTeXDownload
1994
32Type Classes in Haskell. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler. ESOP 1994, 241-256. Web SearchBibTeXDownload
31Monads and Composable Continuations. Philip Wadler. Lisp and Symbolic Computation (7): 39-56 (1994). Web SearchBibTeX
1993
30Functional Programming in Education - Introduction. Simon J. Thompson, Philip Wadler. J. Funct. Program. (3): 3-4 (1993). Web SearchBibTeXDownload
29A Taste of Linear Logic. Philip Wadler. MFCS 1993, 185-210. Web SearchBibTeXDownload
28A Syntax for Linear Logic. Philip Wadler. MFPS 1993, 513-529. Web SearchBibTeXDownload
27Imperative Functional Programming. Uday S. Reddy, Philip Wadler. POPL 1993, 71-84. Web SearchBibTeXDownload
1992
26Deforestation for Higher-Order Functions. Simon Marlow, Philip Wadler. Functional Programming 1992, 154-165. Web SearchBibTeX
25Combining Monads. David J. King, Philip Wadler. Functional Programming 1992, 134-143. Web SearchBibTeX
24The Glasgow Haskell Compiler: A Retrospective. Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler. Functional Programming 1992, 62-71. Web SearchBibTeX
23Avoiding Unnecessary Updates. John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler. Functional Programming 1992, 144-153. Web SearchBibTeX
22Comprehending Monads. Philip Wadler. Mathematical Structures in Computer Science (2): 461-493 (1992). Web SearchBibTeXDownload
21The Essence of Functional Programming. Philip Wadler. POPL 1992, 1-14. Web SearchBibTeXDownload
20Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. 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. SIGPLAN Notices (27): 1 (1992). Web SearchBibTeXDownload
19SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler. SIGPLAN Notices (27): 1 (1992). Web SearchBibTeX
1991
18Is There a Use for Linear Logic?. Philip Wadler. PEPM 1991, 255-273. Web SearchBibTeXDownload
1990
17Comprehending Monads. Philip Wadler. LISP and Functional Programming 1990, 61-78. Web SearchBibTeXDownload
16Deforestation: Transforming Programs to Eliminate Trees. Philip Wadler. Theor. Comput. Sci. (73): 231-248 (1990). Web SearchBibTeXDownload
1989
15Theorems for Free!. Philip Wadler. FPCA 1989, 347-359. Web SearchBibTeXDownload
14Backwards Strictness Analysis: Proved and Improved. Kei Davis, Philip Wadler. Functional Programming 1989, 12-30. Web SearchBibTeX
13How to Make ad-hoc Polymorphism Less ad-hoc. Philip Wadler, Stephen Blott. POPL 1989, 60-76. Web SearchBibTeXDownload
1988
12Deforestation: Transforming Programs to Eliminate Trees. Philip Wadler. ESOP 1988, 344-358. Web SearchBibTeXDownload
11Strictness Analysis Aids Time Analysis. Philip Wadler. POPL 1988, 119-132. Web SearchBibTeXDownload
1987
10Projections for strictness analysis. Philip Wadler, R. J. M. Hughes. FPCA 1987, 385-407. Web SearchBibTeXDownload
9Views: A Way for Pattern Matching to Cohabit with Data Abstraction. Philip Wadler. POPL 1987, 307-313. Web SearchBibTeXDownload
8Fixing some Space Leaks with a Garbage Collector. Philip Wadler. Softw., Pract. Exper. (17): 595-608 (1987). Web SearchBibTeX
1986
7A new array operation. Philip Wadler. Graph Reduction 1986, 328-335. Web SearchBibTeXDownload
1985
6How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. Philip Wadler. FPCA 1985, 113-128. Web SearchBibTeXDownload
5Listlessness is better than laziness II: composing listless functions. Philip Wadler. Programs as Data Objects 1985, 282-305. Web SearchBibTeXDownload
4A Simple Language is also a Functional Language. Philip Wadler. Softw., Pract. Exper. (15): 219 (1985). Web SearchBibTeX
1984
3Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. Philip Wadler. LISP and Functional Programming 1984, 45-52. Web SearchBibTeX
1980
2Experience with an Applicative String Processing Language. James H. Morris Jr., Eric Schmidt, Philip Wadler. POPL 1980, 32-46. Web SearchBibTeXDownload
1976
1Analysis of an Algorithm for Real Time Garbage Collection. Philip Wadler. Commun. ACM (19): 491-500 (1976). Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ Scheduled Talks: Spring 2003 - Retrieved 2011-04-23 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research