Andy Gill

0 Comments Leave a Comment

1-15 of 21 // 1 2 »
  1. Mentioned In 21 Articles

  2. Haskell Equational Reasoning Assistant

    Home Page (Jul 7 2008) Explore Article

    ...ontext, and an API for scripting non-trivial rewrites. @inproceedings{IntroHERA06, author    = {Andy Gill}, title     = {Introducing the {H}askell {E}quational {R}easoning {A}ssistant}, booktitle = {Pr... (Read Full Article)

    Comment on Article Mentions:   Haskell   Andy Gill

  3. Haskell Workshop 2007 - List of Accepted Papers

    Java SSH for weill (Jun 30 2008) Explore Article

    Haskell Workshop 2007 List of Accepted Papers Andy Gill and Colin Runciman. Haskell Program Coverage - Simon Marlow, José Iborra, Bernard Pope and Andy Gill. A Lightweight Interactive Debugger for Haskell - Wouter Swierstra and Thorsten Altenkirch. Beauty ... (Read Full Article)

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

  4. Edward Kmett: Memoizing Context

    The Comonad.Reader (Jun 26 2008) Explore Article

    Recently Andy Gill posted a nice use of data families to memoize a narrow range of values for the basis for Conal Elli... (Read Full Article)

    Comment on Article Mentions:   Haskell   Conal Elliott   Edward Kmett

  5. Haskell Weekly News: Haskell Weekly News: June 18, 2008

    The Haskell Sequence (Jun 18 2008) Explore Article

    ...install is oh-so-sexy. It's an exciting time to be a part of the Haskell community! Community News Andy Gill has completed his move from Portland, OR to Kansas. Luke Palmer (luqui) has begun work for Anygma, ... (Read Full Article)

    Comment on Article Mentions:   Dan Piponi   Thomas DuBuisson   Ghc Api

  6. Haskell Weekly News: June 11, 2008

    The Haskell Sequence (Jun 11 2008) Explore Article

    ...st of dictionaries Edward Kmett: Zapping Adjunctions Edward Kmett: Representing Adjunctions Andy Gill: Performance problems with functional representation of derivatives Conal Elliott: Function... (Read Full Article)

    Comment on Article Mentions:   Andy Gill   Matthew Sackman   Google Treasure Hunt

  7. Conal Elliott: Functional linear maps

    Conal Elliott's home page (Jun 4 2008) Explore Article

    ... implementation of linear map composition, as well as Functor-like and Applicative-like operations. Andy Gill has been helping me get to the bottom of some some severe performance problems, apparently involvin... (Read Full Article)

    Comment on Article Mentions:   Andy Gill

  8. The Worker/Wrapper Transformation

    workerwrapper.com (May 30 2008) Explore Article

    ...anting to understand the worker/wrapper transformation. Papers * The Worker/Wrapper Transformation, Andy Gill and Graham Hutton, submitted for publication in JFP This paper introduces the Worker/Wrapper Theore... (Read Full Article)

    Comment on Article Mentions:   Graham Hutton   Andy Gill   John Launchbury

  9. Functional programming on the web

    Informatics Homepages Server (May 4 2008) Explore Article

    ...he Cherry chess processor, the Pittsburgh map and restaurant data base). Initiated by myself and Andy Gill, the list is now maintained by Jonathon Hogg. It's main drawback is that it is woefully incomplete... (Read Full Article)

    Comment on Article Mentions:   Scheme   Haskell   Mark Jones

  10. Functional Programming in the Real World

    Informatics Homepages Server (May 4 2008) Explore Article

    ...riginated by Philip Wadler, who currently maintains it. Thanks are due to our previous maintainers, Andy Gill and Jonathan Hogg. Others lists of FP uses and success stories: (Read Full Article)

    Comment on Article Mentions:   Haskell   Philip Wadler   Robert Giegerich

  11. The Monad.Reader Issue 10

    Haskell (Apr 8 2008) Explore Article

    ...w.haskell.org/ ghc/docs/latest/html/users_guide/. [4] Simon Marlow, Jos´ Iborra, Bernard Pope, and Andy Gill. A lightweight interactive e debugger for Haskell. In Haskell ’07: Proceedings of the ACM SIGPLAN... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Lennart Augustsson   Neil Mitchell

  12. The York Haskell Compiler: Yhc/Javascript backend: personal/historical notes

    York Haskell Compiler (Mar 28 2008) Explore Article

    ...layout of Web page. Most of ideas were borrowed from the HTML and its successor XHTML libraries (by Andy Gill, Bjorn Bringert).Static structure of a Web page is described as a hierarchy of widgets, some (conta... (Read Full Article)

    Comment on Article Mentions:   Javascript   Firefox   Malcolm Wallace

  13. GHood -- a graphical viewer for Hood

    Computing at Kent (Mar 13 2008) Explore Article

    (pre-release, 18 January 2001)* a Java-based graphical observation event viewer, building on Andy Gill's Hood (Haskell Object Observation Debugger). Summary: GHood is a graphical back-end for Hood, the ... (Read Full Article)

    Comment on Article Mentions:   Haskellers   Haskell   Andy Gill

  14. Commercial Users of Functional Programming: CUFP-2007-Report

    cufp.galois.com (Feb 9 2008) Explore Article

    ... easy to use; most early performance problems were with library calls to manipulate binary objects. Andy Gill, a key developer, observed that “to a first approximation, strictness versus laziness didn’t m... (Read Full Article)

    Comment on Article Mentions:   Kathleen Fisher   Microsoft Research   Joe Armstrong

  15. Lambada, Haskell as a better Java

    Microsoft Research Home (Feb 4 2008) Explore Article

    ...a Haskell/Java Connection. In Proceedings of IFL’98, LNCS 1595. [11] Julian Seward, Simon Marlow, Andy Gill, Sigbjorn Finne, and Simon Peyton Jones. Architecture of the Haskell Execution Platform (HEP) Versi... (Read Full Article)

    Comment on Article Mentions:   Daan Leijen   Erik Meijer   Simon Marlow

  16. parsec.pdf (application/pdf Object)

    legacy.cs.uu.nl (Jan 26 2008) Explore Article

    ...ad Spring school on Functional Programming. http://www.cs.uu.nl/~jeroen/article/parsers/parsers.ps. Andy Gill and Simon Marlow. (1995) Happy: the parser generator for Haskell. University of Glasgow. http://www... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Erik Meijer   University of Nottingham

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