Related Entities
Hudak, Hughes, Peyton-Jones, Wadler: A History of Haskell presentation at HOPL III
51 articles also mentioned Haskell
Haskell (programming language)
36 articles also mentioned Simon Peyton Jones
Haskell (programming language)
19 articles also mentioned Paul Hudak
DSL Implementation in MetaOCaml, Template Haskell, and C++
18 articles also mentioned Cambridge University Press
Hudak, Hughes, Peyton-Jones, Wadler: A History of Haskell presentation at HOPL III
17 articles also mentioned John Hughes
DSL Implementation in MetaOCaml, Template Haskell, and C++
16 articles also mentioned Springer Verlag
DSL Implementation in MetaOCaml, Template Haskell, and C++
16 articles also mentioned Computer Science
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 MoreWadler 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."
-
Mentioned In 72 Articles
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
[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
-
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
-
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 YoungComment on Article Mentions: Philip Wadler Chalmers University of Technology Haskell
-
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
-
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
-
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
-
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
-
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





