Articles mentioning both Simon Peyton Jones and Philip Wadler

1-24 of 36 // 1 2 »

  1. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...isp and Functional Programming, pages 1–11. ACM, Orlando, Florida, June 1994. 28 Barry Jay and Simon Peyton Jones Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Proc 16th ACM Symposium on Princ... (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

    ...u, editor, MPC’06, volume 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: ... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

  3. Zurg_JFP04.pdf (application/pdf Object)

    College of Engineering (Jul 3 2008) Explore Article

    ... ability, which can save considerable work in handling search problems. On the other hand, Haskell (Peyton Jones, 2003) provides a powerful type system, higher-order functions, and lazy evaluation. We want to ill......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 ... (Read Full Article)

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

  4. 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 Nice to be Quoted: Qua... (Read Full Article)

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

  5. [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 ......oint effort of the GRASP team, whose other members are Cordy Hall, Kevin Hammond, Will Partain, and Simon Peyton Jones. For helpful comments on this work, I'm grateful to Donald Brady, Geoffrey Burn, Stephen Eldridge, ... (Read Full Article)

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

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

    Microsoft Research Home (Jun 3 2008) Explore Article

    ...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 “group by”, 2007. [107] Philip Wadler. Comprehending monads. In Proceedings LFP, 1990. [108] Philip Wadler. Lazy vs strict. ACM Computing Surveys, 28(2):318–320, 1996. [109] Stefan Wehr, Ralf L¨ mmel, an... (Read Full Article)

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

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

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

    ...gs, nbsp escapes and so on - nothing worked. Finally I gave up and put 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 P......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, ... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Haskell   John Hughes

  8. Glasgow FP Technical Reports

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

    ...es over the same application 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

  9. A Supercompiler for Core Haskell

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

    ...btain an average runtime improvement of 16% for the imaginary section of the nofib suite. To quote Simon Peyton Jones, “an average runtime improvement of 10%, against the baseline of an already welloptimised compile......g: Moving bindings to give faster programs. In Proc. ICFP ’96, pages 1–12. ACM Press, 1996. 22. Simon Peyton-Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: Rewriting as a practical optimisation techni... (Read Full Article)

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

  10. 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... (Read Full Article)

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

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

    thinkfor.us (May 12 2008) Explore Article

    ... navigation , search Haskell Paradigm 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 ... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Paul Hudak   Standard ML

  12. An Optimizing Compiler For Scheme

    The ACM Portal (May 5 2008) Explore Article

    ... computing, ACM Computing Surveys (CSUR), v.26 n.4, p.345-420, Dec. 1994 Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on Hi... (Read Full Article)

    Comment on Article Mentions:   Matthias Felleisen   United Kingdom   Paul Hudak

  13. 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......R. Bird and P. Wadler, Introduction to Functional Programming. Prentice Hall, 1987. 4. P. Hudak, S. Peyton Jones and P. Wadler, editors, Report on the Programming Language Haskell: Version 1.1. Technical report, ... (Read Full Article)

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

  14. 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 ......wkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, Simon Peyton-Jones' paper on imperative programming in Haskell. David Mertz's column on functional programming in Pyth... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Robin Milner   Haskell

  15. Haskell (Programmiersprache) – Wikipedia

    Hauptseite – Wikipedia (Apr 3 2008) Explore Article

    ...sisdaten Paradigmen: funktional, nicht-strikt, modular Erscheinungsjahr: 1990 Designer: Entwickler: Simon Peyton-Jones, Paul Hudak^, Philip Wadler, et.al #Wikipedia (de) copyright RSS-Feed für Wikipedia Atom-Feed für Wikipedia Haskell (Programm... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Paul Hudak   Simon Peyton Jones

  16. Type Classes Without Types

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

    ...al Programming, pages 170–181. ACM, ACM, August 1992. Manuel M. T. Chakravarty, Gabrielle Keller, Simon Peyton Jones, and Simon Marlow. Associated types with class. In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-......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

  17. Compiling Haskell to Java - Mark Tullsen

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

    ...ne- less Tagless G-machine. Journal of Functional Programming, 2(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 ... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Sun Microsystems   Prentice Hall

  18. Comprehensive Comprehensions

    Microsoft Research Home (Mar 26 2008) Explore Article

    Comprehensive comprehensions: comprehensions with "Order by" and "Group by" Phil Wadler and Simon Peyton Jones, submitted to Haskell Workshop 2007. * * Wiki talk page for discussion Abstract We propose an exte... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Simon Peyton Jones

  19. :: (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 f......en expended on improving the Haskell record system, such as in a 2003 paper by the areforementioned Simon Peyton-Jones here. This proposal would have let you write something like this: The “r (Read Full Article)

    Comment on Article Mentions:   Glasgow Haskell Compiler   Philip Wadler   Haskell

  20. :: (Bloggable a) => a -> Io () " Blog Archive " Bitesize Functional Programming: Comprehensive Comprehensions

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

    ...Programming: Comprehensive Comprehensions As my final year undergraduate project I’ve implemented Philip Wadler’s and Simon Peyton Jones’ Comprehensive Comprehensions in the Glasgow Haskell Compiler. I’m happy to report that my pa... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Glasgow Haskell Compiler   Simon Peyton Jones

  21. 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 Computer Laboratory 2 Microsoft Research Cambridge {br276, am}@cl.cam.ac.u......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

  22. A History of Haskell

    Microsoft Research Home (Feb 18 2008) Explore Article

    ...f Haskell: being lazy with class", Paul Hudak (Yale University), John Hughes (Chalmers University), Simon Peyton Jones (Microsoft Research), Philip Wadler (Edinburgh University), The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III... (Read Full Article)

    Comment on Article Mentions:   Microsoft Research   Philip Wadler   Yale University

  23. Pretty Printing with Lazy Dequeues

    informatik.uni-bonn.de (Feb 15 2008) Explore Article

    ...ters: if True then if True then True else True else if False then False else False John Hughes [2], Simon Peyton Jones [3], Phil Wadler [7], and Pablo Azero and Doaitse Swierstra [1] have all developed pretty printing libraries for Has......n. Prettyprinting. ACM Transactions on Programming Languages and Systems, 2(4):465–483, 1980. [7] Philip Wadler. A prettier printer. Available from http://cm.belllabs.com/cm/cs/who/wadler/topics/language-design.... (Read Full Article)

    Comment on Article Mentions:   Philip Wadler   Springer Verlag   International Conference on Functional Programming

  24. [pdf] A History of Haskell : Being Lazy With Class

    disi.unige.it (Feb 8 2008) Explore Article

    Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an usefu... (Read Full Article)

    Comment on Article Mentions:   University of Oxford   Eugenio Moggi   Academic Press

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