1. Mentioned In 22 Articles

2. HSpark

   Yar.nu (Jul 12 2008) Explore Article

   .... HSpark's origin is as a project in the Advanced Functional Programming course at Chalmers held by Koen Claessen, who also is the supervisor for this thesis project (Read Full Article)
   

   Comment on Article Mentions:   Koen Claessen   Haskell

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

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

   ...n Manuel Chakravarty, editor, Haskell’02, pages 90–104. ACM, 2002. doi: 10.1145/581690. 581698. Koen Claessen and John Hughes. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In ICFP’0... (Read Full Article)
   

   Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

4. A functional-logic library for wired

   The ACM Portal (Jul 7 2008) Explore Article

   ...echnology, Gothenburg, Sweden Colin Runciman University of York, York, Great Britain Emil Axelsson, Koen Claessen, and Mary Sheeran. Wired: Wire-aware circuit design. In Proc. of Conference on Correct Hardware Des... (Read Full Article)
   

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

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

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

   ...e Engineering and Physical Sciences Research Council of the United Kingdom, and would like to thank Koen Claessen and Mary Sheeran for making possible his visit to Chalmers, from which this work resulted. Referen... (Read Full Article)
   

   Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

6. Obsidian: programming GPUs with Haskell :: Pdf

   cs.chalmers.se (Jun 26 2008) Explore Article

   2008-06-01 GPU Programming in Haskell Joel Svensson Joint work with Koen Claessen and Mary Sheeran Chalmers University GPUs  Offer much performance per $  Designed for the hi... (Read Full Article)
   

   Comment on Article Mentions:   ACM Press   Gabriele Keller   Koen Claessen

7. Koen Claessen

   cs.chalmers.se (Jun 17 2008) Explore Article

   ... Search). September 7, 2008: Submission deadline for DATE'09 (Design Automation and Test in Europe) Koen Claessen About Me Contact Research Publications Teaching August 15, 2008: Submission deadline for LaSh'08 (... (Read Full Article)
   

   Comment on Article Mentions:   Koen Claessen

8. QuickCheck

   cs.chalmers.se (Jun 9 2008) Explore Article

   Early implementation? (Read Full Article)
   

   Comment on Article Mentions:   Koen Claessen   Haskell

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

   Microsoft Research Home (Jun 3 2008) Explore Article

   ...s in an Object-Oriented Language. In Proceedings ECOOP, volume 3586 of LNCS, 2005. [30] Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: hardware design in haskell. SIGPLAN Notices, 34(1):174–184... (Read Full Article)
   

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

10. Hardware Design and Functional Programming: a Perfect Match

    jucs.org (May 9 2008) Explore Article

    ... from industry. Eventually, my response to this was to work with Satnam Singh, initially, and later Koen Claessen, on the development of a more practical design and verication system for FPGAs, Lava. In Lava, in w... (Read Full Article)
    

    Comment on Article Mentions:   Emil Axelsson   Advanced Functional Programming   Mary Sheeran

11. AAFP Take Home Exam

    cs.chalmers.se (May 1 2008) Explore Article

    Koen Claessen, John Hughes January 7, 2002 NOTE: Extended deadline! This is the take home exam for the course "Ad... (Read Full Article)
    

    Comment on Article Mentions:   Koen Claessen   John Hughes

12. A Neighborhood of Infinity: How to write tolerably efficient optimzation code without really trying...

    A Neighborhood of Infinity (Apr 6 2008) Explore Article

    ...RODUCTION Very nice article. For changing the associativity you could take a look at continuations. Koen Claessen uses this technique for his parser combinators (on which Text.ParserCombinators.ReadP is based). Se... (Read Full Article)
    

    Comment on Article Mentions:   Koen Claessen   Haskell   Eric Kidd

13. Hws - With Plugins

    mdstud.chalmers.se (Mar 25 2008) Explore Article

    ...almers. I'm writing HWS-WP as a project in the course Advanced Functional Programming, given by Koen Claessen. I'm currently studying my (supposedly, you never know) last year and will write my master thesis d... (Read Full Article)
    

    Comment on Article Mentions:   Koen Claessen   Simon Marlow

14. A quick start with wxHaskell

    wxHaskell (Mar 14 2008) Explore Article

    ...correspondence with the yahu getting started page – first of all to make my job easier by reusing Koen Claessen's excellent example, but also since it makes an interesting comparison: we reuse many concepts of... (Read Full Article)
    

    Comment on Article Mentions:   Koen Claessen   Daan Leijen

15. Ulf Wiger " 2008 " February " 29

    Index of / (Mar 9 2008) Explore Article

    ...ois Some notable people in the audience were Seif Haridi, Joe Armstrong, Thomas Arts, Mary Sheeran, Koen Claessen I want to extend my sincere thanks to all the speakers and distinguished guests, and post the sem... (Read Full Article)
    

    Comment on Article Mentions:   Koen Claessen   Microsoft Research   Seif Haridi

16. A quick start with wxHaskell

    Index of / (Mar 5 2008) Explore Article

    ...correspondence with the yahu getting started page – first of all to make my job easier by reusing Koen Claessen's excellent example, but also since it makes an interesting comparison: we reuse many concepts of... (Read Full Article)
    

    Comment on Article Mentions:   Koen Claessen   Daan Leijen

1-15 of 22 // 1 2 »