Philip Wadler

0 Comments Leave a Comment

1-15 of 72 // 1 2 3 4 5 »

About Philip Wadler

Philip Wadler is a computer scientist well-known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. He is presently a Professor of Theoretical Computer Science in the School of Informatics at the University of Edinburgh.

Read More


Wadler is currently working on a new functional language designed for writing web applications, called Links.

Wadler is married and has twin children, a boy and a girl."

  1. Mentioned In 72 Articles

  2. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...mbridge University Press, 2003. Simon Peyton Jones, Cordelia Hall, Kevin Hammond, Will Partain, and Philip Wadler. The Glasgow Haskell Compiler: a technical overview. In Proceedings of Joint Framework for Informat...

    Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

  3. 2008-010.pdf (application/pdf Object)

    cs.uu.nl (Jul 9 2008) Explore Article

    ... Ralf Hinze, Andres L¨ h, and Bruno C. d. S. Oliveira. “Scrap Your o Boilerplate” reloaded. In Philip Wadler and Masimi Hagiya, editors, FLOPS’06, volume 3945 of LNCS. Springer, 2006. Ralf Hinze, Johan Jeur...

    Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

  4. A functional-logic library for wired

    The ACM Portal (Jul 7 2008) Explore Article

    ... Spivey and Silvija Seres. Embedding Prolog in Haskell. In Haskell Workshop, Paris, September 1999. Philip Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi: Proceedings of the ...

    Comment on Article Mentions:   Daniel P.   Acm Sigplan   Emil Axelsson

  5. http://www.cs.chalmers.se/ ~emax/wired/documents/LP_HFL07 .pdf

    cs.chalmers.se (Jul 7 2008) Explore Article

    ...thods in Computer-Aided Design, 5th International Conference, LNCS 3312. Springer-Verlag, 2004. [9] Philip Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi: Proceedings of the ...

    Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

  6. Zurg_JFP04.pdf (application/pdf Object)

    College of Engineering (Jul 3 2008) Explore Article

    ...n as long as only a finite part of it is processed. This idea is not new; it has been described by Phil Wadler (Wadler, 1985) before. However, rewriting this encoding for every search problem from scratch is te...

    Comment on Article Mentions:   Philip Wadler   Computer Architecture   Simon Peyton Jones

  7. Haskell Weekly News: Haskell Weekly News: July 2, 2008

    The Haskell Sequence (Jul 2 2008) Explore Article

    ...roject. Jamie Brandon: Week 3 progress. An update on Jamie's Google Summer of Code project. Philip Wadler: Welcome to Scotland, Neil, Patricia, and Conor!. >>> codders: Coding style, Haskell. ...

    Comment on Article Mentions:   Dan Piponi   Duncan Coutts   Haskell

  8. Haskell Workshop 2007 - List of Accepted Papers

    Java SSH for weill (Jun 30 2008) Explore Article

    ... Mitchell and Colin Runciman. Uniform Boilerplate and List Processing; Or: Scrap Your Scary Types - Philip Wadler and Simon Peyton Jones. Comprehensions with `Order by' and `Group by' - Geoffrey Mainland. Why It's...

    Comment on Article Mentions:   Simon Peyton Jones   Wouter Swierstra   Emil Axelsson

  9. [pdf] Philip Wadler: The essence of functional programming (1992 paper presenting monads)

    Informatics Homepages Server (Jun 14 2008) Explore Article

    ...hey can mimic the effect of impure features such as exception The essence of functional programming Philip Wadler, University of Glasgow \Lambda Abstract This paper explores the use monads to structure functional ...

    Comment on Article Mentions:   MIT Press   Will Partain   Logic in Computer Science

  10. Erik Meijer - Confessions Of A Used Programming Language Salesman (Getting The Masses Hooked On Haskell)

    Microsoft Research Home (Jun 3 2008) Explore Article

    ...same name that appeared in SAIG ’00 proceedings. [40] Mary F. Fernandez, J´ rˆ me Sim´ on, and Philip Wadler. A eo e semi-monad for semi-structured data. In Proceedings of the 8th International Conference on ......d Julian Dolby. Declarative object identity using relation types. In Proceedings ECOOP, 2007. [106] Phil Wadler and Simon Peyton Jones. Comprehensive comprehensions: comprehensions with “order by” and “gro...

    Comment on Article Mentions:   Benjamin C. Pierce   Peter Thiemann   Ross Paterson

  11. Hudak, Hughes, Peyton-Jones, Wadler: A History of Haskell presentation at HOPL III

    The ACM Portal (May 31 2008) Explore Article

    ...aul Hudak, Yale University John Hughes, Chalmers University, Simon Peyton Jones, Microsoft Research Phil Wadler, University of Edinburgh The late 1979s, early 1980s Pure functional programming: recursion, patt......r Rishiyur Nikhil John Peterson Simon Peyton Jones [editor] Mike Reeve Alastair Reid Colin Runciman Philip Wadler [editor] David Wise Jonathan Young

    Comment on Article Mentions:   Philip Wadler   Chalmers University of Technology   Haskell

  12. Leif Frenzel's Haskell and Eclipse blog: haskell

    cohatoe.blogspot.com (May 27 2008) Explore Article

    ...rsion of the History of Haskell paper that he has written together with Paul Hudak, John Hughes and Philip Wadler. It is a longish text, but a great read, especially if you have (like me) only started with Haskell...

    Comment on Article Mentions:   Philip Wadler   Haskell   John Hughes

  13. Glasgow FP Technical Reports

    dcs.gla.ac.uk (May 22 2008) Explore Article

    ...ation executing on sequential machines. "Imperative Functional Programming", Simon Peyton Jones and Philip Wadler. Abstract We present a new model, based on monads, for performing input/output in a non-strict, pur...

    Comment on Article Mentions:   Computer Architecture   Haskell   Philip Wadler

  14. A Supercompiler for Core Haskell

    www-users.cs.york.ac.uk (May 19 2008) Explore Article

    ... trees. In Proc ESOP ’88, volume 300 of LNCS, pages 344–358. Berlin: Springer-Verlag, 1988. 33. Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Proc. POPL ’89, pages 60–76....

    Comment on Article Mentions:   Cambridge University Press   Neil Mitchell   Tony Hoare

  15. Wadler: Monads

    Informatics Homepages Server (May 16 2008) Explore Article

    Simon Peyton Jones and Philip Wadler. 20'th Symposium on Principles of Programming Languages, ACM Press, Charlotte, North Carolina, Janu...

    Comment on Article Mentions:   Mathematical Structures in Computer Science   Philip Wadler   Haskell

  16. Haskell (programming language) - Wikipedia, the free encyclopedia

    thinkfor.us (May 12 2008) Explore Article

    ...gm functional , non-strict, modular Appeared in 1990 Designed by Simon Peyton-Jones , Paul Hudak , Philip Wadler , et al Typing discipline static , strong , inferred Major implementations GHC , Hugs , NHC ...

    Comment on Article Mentions:   Philip Wadler   Paul Hudak   Standard ML

1-15 of 72 // 1 2 3 4 5 »
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire