Articles mentioning both Simon Peyton Jones and Glasgow Haskell Compiler

1-24 of 36 // 1 2 »

  1. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...ie Mellon University, 2005. URL http:// reports-archive.adm.cs.cmu.edu/anon/2005/CMU-CS-05-135.pdf. Simon Peyton Jones, editor. Haskell 98 language and libraries: the revised report. Cambridge 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 Technical Confe... (Read Full Article)

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

  2. Haskell: Pure and Lazy, yet Functional

    Welcome (Jul 15 2008) Explore Article

    ...ty is more important than, and quite independent of, laziness,” according to one of the lead GHC (Glasgow Haskell Compiler) architects, Simon Peyton Jones, [1] below. These two features and restrictions are combined with a bunch of other carefully though... (Read Full Article)

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

  3. icfp05.pdf (application/pdf Objeto)

    TheCAT (Jun 20 2008) Explore Article

    ...rogramming logic called P-Logic. The interface has been implemented on bare IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how a variety of simple O/S kernels can be constructed on top of the ......J. Bobbio. hOp. http://www.macs.hw.ac.uk/ ~sebc/hOp/, 2004. [5] A. Cheadle, T. Field, S. Marlow, S. Peyton Jones, and L. While. Exploring the Barrier to Entry: Incremental Generational Garbage Collection for Hask... (Read Full Article)

    Comment on Article Mentions:   University of York   Intel   House

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

    Main Page (May 15 2008) Explore Article

    ...nts stemming from the purity of Haskell and its theoretical roots. Jan-Willem Maessen, in 2002, and Simon Peyton Jones, in 2003, discussed problems associated with lazy evaluation while also acknowledging the theoretic......ributed under open source licenses. There are currently no proprietary Haskell implementations. The Glasgow Haskell Compiler compiles to native code on a number of different architectures—as well as to ANSI C—using C-- a... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Haskell   Lolita

  5. Lightweight concurrency primitives for GHC

    Microsoft Research Home (May 15 2008) Explore Article

    Peng Li, Andrew Tolmach, Simon Marlow, and Simon Peyton Jones; submitted to Haskell Workshop 2007. * * Wiki talk page for discussion Abstract The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lo... (Read Full Article)

    Comment on Article Mentions:   Andrew Tolmach   Simon Marlow   Haskell

  6. Playing by the Rules: Rewriting as a practical optimisation technique in Ghc - Jones, Hoare, Tolmach (ResearchIndex)

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

    ...mation obtained from automated analyses. The rewrite mechanism is fully implemented in the released Glasgow Haskell Compiler. (Update) Deterministic Higher-order Patterns for Program Transformation - Yokoyama, Hu, Ta Abstrac......ry Proceedings of the ACM SIGPLAN Haskell Workshop.. - (editor) (2001) BibTeX entry:   (Update) S. Peyton Jones, T. Hoare, and A. Tolmach. Playing by the rules: rewriting as a practical optimisation technique. 2... (Read Full Article)

    Comment on Article Mentions:   Sheard   Simon Peyton Jones   Haskell

  7. A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory

    cs.cmu.edu (May 7 2008) Explore Article

    ...int handling rules: the story so far. In Proc. of u PPDP ’06, pages 13–14. ACM Press, 2006. [8] Glasgow haskell compiler home page. http://www.haskell.org/ghc/. [9] T. Harris, S. Marlow, S. Peyton Jones, and M. Herlihy. Composable memory transactions. In Proc. of PPoPP’05, pages 48–60. ACM Press, ... (Read Full Article)

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

  8. haskell-stm.pdf (application/pdf Object)

    Informatics Homepages Server (May 3 2008) Explore Article

    ...Haskell, 3rd ACM Symposium on Principles of Programming Languages, pp295-308, Jan 1996 [8] GHC, The Glasgow Haskell Compiler, http://www.haskell.org/ghc/ (retrieved 12/03/08) [9] Harris, T; Herlihy, M; Marlow, S; Peyton Jones, S, Composable Memory Transactions, 10th ACM Symposium on Principles and Practice of Parellel Progr... (Read Full Article)

    Comment on Article Mentions:   Haskell   Glasgow Haskell Compiler   Haskell STM

  9. Optimistic Evaluation: a fast evaluation strategy for non-strict programs

    Microsoft Research Home (Apr 17 2008) Explore Article

    Robert Ennals and Simon Peyton Jones. 12 pages, ACM International Conference on Functional Programming (ICFP'03), Uppsala, August 2003. ......system can avoid making the same bad choice again. We have implemented optimistic evaluation in the Glasgow Haskell Compiler. The results are encouraging: many programs speed up significantly (5-25%), some are dramatically f... (Read Full Article)

    Comment on Article Mentions:   Glasgow Haskell Compiler   Robert Ennals   Simon Peyton Jones

  10. Simon Peyton Jones "Beautiful Concurrency"

    Microsoft Research Home (Mar 17 2008) Explore Article

    Beautiful concurrency to appear in “Beautiful code”, ed Greg Wilson, O’Reilly 2007 Simon Peyton Jones, Microsoft Research, Cambridge May 1, 2007 1 Introduction The free lunch is over [11]. We have g...... Control.Concurrent.STM import Control.Concurrent import System.Random To compile the code, use the Glasgow Haskell Compiler, GHC17 : $ ghc Santa.hs -package stm -o santa Finally you can run the program: $ ./santa ---------1... (Read Full Article)

    Comment on Article Mentions:   Kathleen Fisher   Herb Sutter   Greg Wilson

  11. A .net Bridge for Haskell: Dancing with the Devil

    Java SSH for weill (Mar 16 2008) Explore Article

    ...ion checking3 . 2 3 Use of infix type constructors requires the type operators extension. In the Glasgow Haskell Compiler, this option is called ‘allow undecidable instances’. 13 data TTrue data TFalse Listing 3.1:......i/GHC/Type_families. Accessed: 28 October 2007. [2] Manuel M. T. Chakravarty, Gabrielle Keller, and Simon Peyton Jones. Associated Type Synonyms. In ICFP ’05: Proceedings of the International Conference on Functional... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Microsoft Research   Erik Meijer

  12. PAPP-Journal.pdf (application/pdf Object)

    macs.hw.ac.uk (Mar 15 2008) Explore Article

    ...sferring data. For efficient compilation we use a state-of-the-art, optimising compiler, namely the Glasgow Haskell Compiler [2]. Originally Gum was defined for homogeneous clusters and currently does not consider informati.......ac.uk/fp/software/ghc/ [3] P. W. Trinder, K. Hammond, J. S. Mattson Jr., A. S. Partridge and S. L. Peyton Jones, GUM: a Portable Parallel Implementation of Haskell, in PLDI’96 — Conf. on Programming Language... (Read Full Article)

    Comment on Article Mentions:   Simon Peyton Jones   ACM Press   Thu Mar

  13. :: (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 some test ca......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 ... (Read Full Article)

    Comment on Article Mentions:   Glasgow Haskell Compiler   Philip Wadler   Haskell

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

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

    ...mprehensions 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

  15. Type-driven testing in Haskell (Simon Peyton Jones)

    PerlMongers (Mar 13 2008) Explore Article

    ..., it is possible to use lazy evaluation to cut the search space dra Type-driven testing in Haskell (Simon Peyton Jones) This event was organised by BCS Software practice advancement. Synopsis One of the joys of functio......sign of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. More generall... (Read Full Article)

    Comment on Article Mentions:   Microsoft Research   Glasgow Haskell Compiler   Lazy SmallCheck

  16. A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents (pdf)

    fh-wedel.de (Mar 12 2008) Explore Article

    .../documents/2003/06/02/dces/. The latest version is http://dublincore.org/documents/dces/. [GHC] The Glasgow Haskell Compiler, http://www.haskell.org/ghc [HaXML] HaXML: Haskell and http://www.cs.york.ac.uk/fp/HaXml/ . XML, Ma......ML, Joe Englisch, http://www.flightlab.com/ joe/hxml/ . [Jones et al. 1998] The Haskell 98 Report, Simon Peyton Jones, John Hughes et al. (1998), http://www.haskell.org/onlinereport/ . [N3] Notation 3, Tim Berners-Lee... (Read Full Article)

    Comment on Article Mentions:   Ross Paterson   Unicode   Jeremy Gibbons

  17. :: (Bloggable a) => a -> Io () " Blog Archive " Raytracing With A Single Haskell List Comprehension

    blog.omega-prime.co.uk (Feb 25 2008) Explore Article

    Raytracing With A Single Haskell List Comprehension 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 Raytracing With A Single Haskell List Comprehension My d... (Read Full Article)

    Comment on Article Mentions:   Glasgow Haskell Compiler   Simon Peyton Jones

  18. Software transactional memory (stm) - Wikipedia, the free encyclopedia

    Main Page (Feb 18 2008) Explore Article

    ... this limitation is enforced at compile time by the type system. In 2005, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy described an STM system built on Concurrent Haskell that enables arbitrary ato......ism to convert between blocking and nonblocking operations. This scheme has been implemented in the Glasgow Haskell Compiler. The conceptual simplicity of STMs enable them to be exposed to the programmer using relatively sim... (Read Full Article)

    Comment on Article Mentions:   Microsoft Research   Tim Harris   Ennals

  19. Feedback directed implicit parallelism

    Microsoft Research Home (Feb 18 2008) Explore Article

    ...x speed-ups on 7 of our tests. In Section 4 we show how we use these predictions in practice in the Glasgow Haskell Compiler (GHC). When we predict that a thunk allocation site will produce useful work we ‘spark’ the 1.......feedback and advice while starting this work, Maurice Herlihy, Jan-Willem Maessen, Simon Marlow and Simon Peyton Jones for discussions, the anonymous reviewers for their suggestions, and Andrew Birrell for help ... (Read Full Article)

    Comment on Article Mentions:   Tim Harris   Ennals   Simon Marlow

  20. Stretching the storage manager: weak pointers and stable names in Haskell - Jones, Marlow, Elliott (ResearchIndex)

    citeseer.ist.psu.edu (Feb 6 2008) Explore Article

    Abstract: Every now and then, a user of the Glasgow Haskell Compiler asks for a feature that requires specialised support from the storage manager. Memo functions, poin......ormal Semantics for Weak References - Hallett Boston University (2005) BibTeX entry:   (Update) S. Peyton Jones, S. Marlow, and C. Elliott. Stretching the storage manager: weak pointers and stable names in Haske... (Read Full Article)

    Comment on Article Mentions:   Haskell   Microsoft Research   Simon Peyton Jones

  21. Something that when unnoticed in the functional world

    weblogs.asp.net (Feb 6 2008) Explore Article

    ...d I was on DotNetRocks and I started sifting through all the previous shows and saw that last month Simon Peyton Jones was on the show. Now, with relation to functional programming Peyton Jones is really a very well known person in the functional space, probably for the main part due to the Glasgow Haskell Compiler (GHC) and more recently (perhaps you have heard of it?) software transactional memory (STM). ... (Read Full Article)

    Comment on Article Mentions:   Glasgow Haskell Compiler   Haskell   Microsoft

  22. Haskell (programming language) - Wikipedia

    Main Page (Feb 6 2008) Explore Article

    ...nts stemming from the purity of Haskell and its theoretical roots. Jan-Willem Maessen, in 2002, and Simon Peyton Jones, in 2003, discussed problems associated with lazy evaluation while also acknowledging the theoretic......ributed under open source licenses. There are currently no proprietary Haskell implementations. The Glasgow Haskell Compiler compiles to native code on a number of different architectures—as well as to ANSI C—using C-- a... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Haskell   York Haskell Compiler

  23. HOpenGL – 3D Graphics with Haskell A small Tutorial (Draft)

    tfh-berlin.de (Jan 28 2008) Explore Article

    ... precompiled version of the current HOpenGL library. Go to the website (www.haskell.org/ghc) of the Glasgow Haskell Compiler (GHC), follow closely the instructions on the page CVS cheat sheet. When doing the ./configure step......em Utility Library. ftp://ftp.sgi.com/opengl/doc/opengl1.2/glu1.3.ps, 1998. [Jon03] [Kil96] [PJW93] Simon Peyton Jones, editor. Haskell 98 Language and Libraries The Revised Report. Cambridge University Press, Cambridg... (Read Full Article)

    Comment on Article Mentions:   Haskell   Philip Wadler   Glasgow Haskell Compiler

  24. house.pdf (application/pdf Object)

    Thomas Hallgren at OGI (Jan 28 2008) Explore Article

    ...rogramming logic called P-Logic. The interface has been implemented on bare IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how a variety of simple O/S kernels can be constructed on top of the ......J. Bobbio. hOp. http://www.macs.hw.ac.uk/ ~sebc/hOp/, 2004. [5] A. Cheadle, T. Field, S. Marlow, S. Peyton Jones, and L. While. Exploring the Barrier to Entry: Incremental Generational Garbage Collection for Hask... (Read Full Article)

    Comment on Article Mentions:   University of York   Intel   House

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