Articles mentioning both Haskell and Philip Wadler

1-24 of 51 // 1 2 3 »

  1. 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 Information Technology Techni... (Read Full Article)

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

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

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

    ...ume 4014 of LNCS, pages 209–234. Springer, 2006. Paul Hudak, John Hughes, Simon Peyton Jones, and Philip Wadler. A history of Haskell: being lazy with class. In HOPL III, pages 12–1–12–55. ACM, 2007. doi: 10.1145/1238844.123885... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

  3. A functional-logic library for wired

    The ACM Portal (Jul 7 2008) Explore Article

    ...Conference, LNCS 3312. Springer-Verlag, 2004. Michael 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 ... (Read Full Article)

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

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

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

    ...ac.uk Emil Axelsson emax@cs.chalmers.se Colin Runciman colin@cs.york.ac.uk Abstract We develop a Haskell library for functional-logic programming and apply it to the implementation of Wired, a relational ......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 ... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

  5. Zurg_JFP04.pdf (application/pdf Object)

    College of Engineering (Jul 3 2008) Explore Article

    ...n this article we will illustrate with an example that modern functional programming languages like Haskell can be used effectively for programming search problems, in contrast to the widespread belief that ......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... (Read Full Article)

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

  6. 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. codders likes how Real World Haskell gives some hints about Haskell coding style and culture in addition to teaching the language itself. >>> zoo: Haskell plug-in for Eclipse. zoo explains how to install the Haskell Eclipse plugin. Dan Piponi (sigfpe): A ... (Read Full Article)

    Comment on Article Mentions:   Dan Piponi   Duncan Coutts   Haskell

  7. Haskell Workshop 2007 - List of Accepted Papers

    Java SSH for weill (Jun 30 2008) Explore Article

    ...ge - Simon Marlow, José Iborra, Bernard Pope and Andy Gill. A Lightweight Interactive Debugger for Haskell - Wouter Swierstra and Thorsten Altenkirch. Beauty in the Beast: A Functional Semantics of the Awkw...... 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... (Read Full Article)

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

  8. [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 ......is on why abstruse theory may be of interest to computing scientists. The examples will be given in Haskell, but no knowledge of that is needed either. What the reader will require is a passing familiarity w... (Read Full Article)

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

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

    Microsoft Research Home (Jun 3 2008) Explore Article

    Confessions of a Used Programming Language Salesman Getting the Masses Hooked on Haskell Erik Meijer Microsoft SQL Server erik.meijer@microsoft.com When considering the past or the future......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 ... (Read Full Article)

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

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

    The ACM Portal (May 31 2008) Explore Article

    Being lazy with class A history of Haskell Paul Hudak, Yale University John Hughes, Chalmers University, Simon Peyton Jones, Microsoft Researc......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... (Read Full Article)

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

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

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

    ...t it all into a separate page. Simon Peyton Jones has announced the final version 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 in the recent few years. (EclipseFP is also mentioned in the section about development tools :-) (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Haskell   John Hughes

  12. Glasgow FP Technical Reports

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

    ...marked, the widely-used Sun Sparcstation 1. "Lazy Depth-First Search and Linear Graph Algorithms in Haskell", David J. King and John Launchbury [Extended version of the paper in GFP '93] Abstract Depth-first......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... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Haskell   Philip Wadler

  13. A Supercompiler for Core Haskell

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

    Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evaluation, which a...... 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.... (Read Full Article)

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

  14. 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......ds and continuation-passing style. The third section sketches how monads are used in a compiler for Haskell that is written in Haskell. (Read Full Article)

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

  15. FS: Backwards State, or: The Power of Laziness

    panicsonic.blogspot.com (May 12 2008) Explore Article

    There's been a recent discussion of Automatic Differentiation in Haskell recently, which somehow found me reading Jerzy Karczmarczuk's paper "Lazy Time Reversal, and Automa......ng Jerzy Karczmarczuk's paper "Lazy Time Reversal, and Automatic Differentiation," which then cited Philip Wadler's "The essence of functional programming" for the introduction of the backwards state monad, which ... (Read Full Article)

    Comment on Article Mentions:   Haskell   Philip Wadler

  16. Functional programming on the web

    Informatics Homepages Server (May 4 2008) Explore Article

    A Guide to Functional Programming on the Web Philip Wadler, University of Glasgow, July 1996 Here's a review of some relevant web sites, useful or othewise. *......includes links to sites describing the following languages: ASpecT, Caml, Clean, Erlang, FP, Gofer, Haskell, Hope, Hugs, Id, IFP, J, Miranda(TM), ML, NESL, OPAL, Oz, Pizza, Scheme, and Sisal. It also has l... (Read Full Article)

    Comment on Article Mentions:   Scheme   Haskell   Mark Jones

  17. Functional Programming in the Real World

    Informatics Homepages Server (May 4 2008) Explore Article

    ...de effects) and `impure' (some use of side effects). Languages covered include CAML, Clean, Erlang, Haskell, Miranda, Scheme, SML, and others. Further entries are solicted. To submit an entry, please copy th......amming in the Real World, organised by Robert Giegerich and John Hughes. The list was originated by Philip Wadler, who currently maintains it. Thanks are due to our previous maintainers, Andy Gill and Jonathan Hog... (Read Full Article)

    Comment on Article Mentions:   Haskell   Philip Wadler   Robert Giegerich

  18. Imperative Functional Programming - Jones, Wadler (ResearchIndex)

    citeseer.ist.psu.edu (May 1 2008) Explore Article

    ... round ... (Update) Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) mHaskell: Mobile Computation in a Purely Functional Language - Bois, Trinder, Loidl (2004) BibTeX entry:   ......nctional Language - Bois, Trinder, Loidl (2004) BibTeX entry:   (Update) Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. In Proceedings of the Twentieth Annual ACM Symposium on Princip... (Read Full Article)

    Comment on Article Mentions:   Haskell   Philip Wadler   Algol

  19. Monads for Functional Programming

    Informatics Homepages Server (Apr 24 2008) Explore Article

    Monads for functional programming Philip Wadler, University of Glasgow Department of Computing Science, University of Glasgow, G12 8QQ, Scotland (w......? The functional programming community divides into two camps. Pure languages, such as Miranda0 and Haskell, are lambda calculus pure and simple. Impure languages, such as Scheme and Standard ML, augment lam... (Read Full Article)

    Comment on Article Mentions:   Logic in Computer Science   Prentice Hall   Haskell

  20. Tutorial Papers in Functional Programming

    md.chalmers.se (Apr 10 2008) Explore Article

    ...ophisticated than the other. Functional Parsers Jeroen D. Fokker Monads for functional programming, Phil Wadler. Mike Gordon's lecture notes on functional programming, covering the lambda-calculus and ML. Simon ...... on functional programming, covering the lambda-calculus and ML. Simon Thompson's Programming it in Haskell (based on Polya's How to Solve it). Brief and nice! Graham Hutton's tutorial on fold. Explains the ... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Robin Milner   Haskell

  21. Type Classes Without Types

    repository.readscheme.org (Apr 2 2008) Explore Article

    ...ric functions into coherent interfaces. This paper describes and discusses a mechanism, inspired by Haskell type classes, for implementing generic functions in Scheme that directly addresses the aforemention......nce on Functional programming, pages 179–190, New York, NY, USA, 2002. ACM Press. Martin Odersky, Philip Wadler, and Martin Wehr. A second look at overloading. In FPCA ’95: Proceedings of the seventh internati... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Peter Thiemann   Jean-Yves Girard

  22. Compiling Haskell to Java - Mark Tullsen

    cs.yale.edu (Mar 29 2008) Explore Article

    ...2):127 202, July 92. [12] Simon L. Peyton Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, and Philip Wadler. The Glasgow Haskell compiler: a technical overview. In Proc. UK Joint Framework for Infor- mation Technology (JFIT) Tec... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Sun Microsystems   Prentice Hall

  23. :: (Bloggable a) => a -> Io () " Haskell

    blog.omega-prime.co.uk (Mar 14 2008) Explore Article

    IT LIVES! My dissertation this year has been on adding Simon Peyton Jones and Phil Wadlers Comprehensive Comprehensions to the Glasgow Haskell Compiler, and I might blog about that in the future. During this work, I needed to come up with som... (Read Full Article)

    Comment on Article Mentions:   Glasgow Haskell Compiler   Philip Wadler   Haskell

  24. Haskell is not ML

    Microsoft Research Home (Feb 29 2008) Explore Article

    Haskell Is Not Not ML Ben Rudiak-Gould1 , Alan Mycroft1 , and Simon Peyton Jones2 University of Cambridge C......ents This work was supported by a studentship from Microsoft Research Cambridge. We are grateful to Philip Wadler and the anonymous reviewers for helpful comments. References 1. Andrew W. Appel, Compiling With Co... (Read Full Article)

    Comment on Article Mentions:   John Launchbury   Mark Shields   University of Cambridge Computer Laboratory

1-24 of 51 // 1 2 3 »
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire