Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Philip Wadler
2010 – today
- 2013
[c64]James Cheney, Sam Lindley, Philip Wadler: A practical theory of language-integrated query. ICFP 2013: 403-416- 2012
- [c63]
- 2011
- [j30]Sam Lindley, Philip Wadler, Jeremy Yallop: Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Electr. Notes Theor. Comput. Sci. 229(5): 97-117 (2011)
- [c62]
- 2010
- [j29]Sam Lindley, Philip Wadler, Jeremy Yallop: The arrow calculus. J. Funct. Program. 20(1): 51-69 (2010)
- [c61]Sam Lindley, Philip Wadler: The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP 2010: 1
- [c60]
2000 – 2009
- 2009
- [j28]Tom Schrijvers, Peter J. Stuckey, Philip Wadler: Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009)
- [c59]
- [c58]
- 2008
- [c57]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop: The Essence of Form Abstraction. APLAS 2008: 205-220
- [e7]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. ACM 2008, ISBN 978-1-59593-689-9
- 2007
- [j27]
- [j26]Philip Wadler: The Girard-Reynolds isomorphism (second edition). Theor. Comput. Sci. 375(1-3): 201-226 (2007)
- [c56]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
- [c55]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
- [c54]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
- [c53]
- [c52]Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler: A history of Haskell: being lazy with class. HOPL 2007: 1-55
- [e6]Richard Hull, Peter Thiemann, Philip Wadler (Eds.): Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. Dagstuhl Seminar Proceedings 07051, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [b3]Maurice Naftalin, Philip Wadler: Java generics and collections. O'Reilly 2006, ISBN 978-0-596-52775-4, pp. I-XVII, 1-273
- [c51]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop: Links: Web Programming Without Tiers. FMCO 2006: 266-296
- [c50]Philip Wadler: Faith, evolution, and programming languages: from Haskell to Java to links. OOPSLA Companion 2006: 508
- [e5]Masami Hagiya, Philip Wadler (Eds.): Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings. Lecture Notes in Computer Science 3945, Springer 2006, ISBN 3-540-33438-6
- 2005
- [c49]
- 2004
- [e4]Francesco Cesarini, Philip Wadler (Eds.): Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004. ACM 2004, ISBN 1-58113-918-7
- 2003
- [j25]
- [j24]Simon L. Peyton Jones, Philip Wadler: The Educational Pearls column. J. Funct. Program. 13(5): 833-834 (2003)
- [j23]
- [j22]Philip Wadler, Peter Thiemann: The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003)
- [c48]
- [c47]
- [e3]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. Lecture Notes in Computer Science 2562, Springer 2003, ISBN 3-540-00389-4
- 2002
- [j21]Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler: MSL: a model for W3C XML Schema. Computer Networks 39(5): 507-521 (2002)
- [c46]Philip Wadler: XQuery: A Typed Functional Language for Querying XML. Advanced Functional Programming 2002: 188-212
- [c45]
- 2001
- [j20]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001)
- [c44]Mary F. Fernández, Jérôme Siméon, Philip Wadler: A Semi-monad for Semi-structured Data. ICDT 2001: 263-300
- [c43]
- [c42]
- [c41]Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler: MSL - a model for W3C XML schema. WWW 2001: 191-200
- [i1]Peter Fankhauser, Mary F. Fernández, Ashok Malhotra, Michael Rys, Jérôme Siméon, Philip Wadler (Eds.): The XML Query Algebra. 2001
- 2000
- [c40]
- [e2]Martin Odersky, Philip Wadler (Eds.): Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ACM 2000, ISBN 1-58113-202-6
1990 – 1999
- 1999
- [j19]David N. Turner, Philip Wadler: Operational Interpretations of Linear Logic. Theor. Comput. Sci. 227(1-2): 231-248 (1999)
- [j18]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. 228(1-2): 175-210 (1999)
- [c39]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146
- 1998
- [j17]John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. J. Funct. Program. 8(3): 275-317 (1998)
- [j16]
- [j15]
- [c38]Martin Odersky, Enno Runne, Philip Wadler: Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming 1998: 114-132
- [c37]Kim B. Bruce, Martin Odersky, Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549
- [c36]
- [c35]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
- 1997
- [j14]
- [j13]Amr Sabry, Philip Wadler: A Reflection on Call-by-Value. ACM Trans. Program. Lang. Syst. 19(6): 916-941 (1997)
- [c34]
- [c33]
- [c32]Martin Odersky, Philip Wadler: Pizza into Java: Translating Theory into Practice. POPL 1997: 146-159
- 1996
- [j12]
- [j11]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. ACM Trans. Program. Lang. Syst. 18(2): 109-138 (1996)
- [c31]
- [c30]
- 1995
- [j10]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. 1: 370-392 (1995)
- [c29]
- [c28]
- [c27]
- [c26]Philip Wadler: Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). IWMM 1995: 117
- [c25]Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. POPL 1995: 233-246
- [c24]
- 1994
- [j9]Philip Wadler: Monads and Composable Continuations. Lisp and Symbolic Computation 7(1): 39-56 (1994)
- [c23]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. ESOP 1994: 241-256
- 1993
- [j8]Simon J. Thompson, Philip Wadler: Functional Programming in Education - Introduction. J. Funct. Program. 3(1): 3-4 (1993)
- [c22]
- [c21]
- [c20]
- 1992
- [b2]Richard S. Bird, Philip Wadler: Einführung in die funktionale Programmierung. Hanser Studienbücher der Informatik, Hanser 1992, ISBN 978-3-446-17001-8, pp. I-XIII, 1-284
- [j7]Philip Wadler: Comprehending Monads. Mathematical Structures in Computer Science 2(4): 461-493 (1992)
- [j6]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)
- [j5]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): 1- (1992)
- [c19]Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler: The Glasgow Haskell Compiler: A Retrospective. Functional Programming 1992: 62-71
- [c18]
- [c17]John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153
- [c16]Simon Marlow, Philip Wadler: Deforestation for Higher-Order Functions. Functional Programming 1992: 154-165
- [c15]
- [e1]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. Workshops in Computing, Springer 1992, ISBN 3-540-19760-5
- 1991
- [c14]
- 1990
- [j4]Philip Wadler: Deforestation: Transforming Programs to Eliminate Trees. Theor. Comput. Sci. 73(2): 231-248 (1990)
- [c13]
1980 – 1989
- 1989
- [c12]Kei Davis, Philip Wadler: Backwards Strictness Analysis: Proved and Improved. Functional Programming 1989: 12-30
- [c11]
- [c10]
- 1988
- [b1]Richard S. Bird, Philip Wadler: Introduction to functional programming. Prentice Hall International series in computer science, Prentice Hall 1988, ISBN 978-0-13-484197-7, pp. I-XV, 1-293
- [c9]
- [c8]
- 1987
- [j3]Philip Wadler: Fixing some Space Leaks with a Garbage Collector. Softw., Pract. Exper. 17(9): 595-608 (1987)
- [c7]
- [c6]Philip Wadler: Views: A Way for Pattern Matching to Cohabit with Data Abstraction. POPL 1987: 307-313
- 1986
- [c5]
- 1985
- [j2]Philip Wadler: A Simple Language is also a Functional Language. Softw., Pract. Exper. 15(2): 219 (1985)
- [c4]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
- [c3]Philip Wadler: Listlessness is better than laziness II: composing listless functions. Programs as Data Objects 1985: 282-305
- 1984
- [c2]Philip Wadler: Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. LISP and Functional Programming 1984: 45-52
- 1980
- [c1]James H. Morris Jr., Eric Schmidt, Philip Wadler: Experience with an Applicative String Processing Language. POPL 1980: 32-46
1970 – 1979
- 1976
- [j1]Philip Wadler: Analysis of an Algorithm for Real Time Garbage Collection. Commun. ACM 19(9): 491-500 (1976)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:09 CEST by the dblp team