1. Mentioned In 27 Articles

2. Scrap your type applications

   Microsoft Research Home (Jul 17 2008) Explore Article

   ...anguage based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, G¨teborg, Sweden, 2007. URL o http://www.cs.chalmers.se/∼ulfn/papers/thesis.pdf. ... (Read Full Article)
   

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

3. iMonad.com " Gpu programming in Haskell

   iMonad.com (Jun 25 2008) Explore Article

   ... is compiler support from high level languages, especially functional ones. There is one project at Chalmers University (mentioned on the #haskell channel) that aims to provide backend for Haskell compiler. Programs are... (Read Full Article)
   

   Comment on Article Mentions:   Data Parallel Haskell   Haskell   Chalmers University of Technology

4. icfp05.pdf (application/pdf Objeto)

   TheCAT (Jun 20 2008) Explore Article

   ...al operating system. Technical report, Programing Methodology Group, University of G¨ teborg and o Chalmers University of Technology, 1981. [18] R. B. Kieburtz. P-logic: Property verification for Haskell programs. ftp... (Read Full Article)
   

   Comment on Article Mentions:   University of York   Intel   House

5. Björn Bringert

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

   ... personal homepage of . I am a PhD student at the Department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg. I am also one of the partners and founders of Well-Type... (Read Full Article)
   

   Comment on Article Mentions:   Björn Bringert   Chalmers University of Technology   Haskell

6. Monadic Parser Combinators

   cs.nott.ac.uk (Jun 3 2008) Explore Article

   ...las. (1995). Garbage collection and memory efficiency in lazy functional lano guages. Ph.D. thesis, Chalmers University of Technology. Spivey, Mike. (1990). A functional theory of exceptions. Science of computer program... (Read Full Article)
   

   Comment on Article Mentions:   Mark P.   Parser   Haskell

7. 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 Research Phil Wadler, University of Edinburgh The late 1979s, earl... (Read Full Article)
   

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

8. Lava is a hardware description language functional programming

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

   ...are description. Currently, there are two versions of Lava in use. One, Chalmers-Lava, developed at Chalmers University of Technology in Sweden, is mainly aimed at interfacing to automatic formal hardware verification t... (Read Full Article)
   

   Comment on Article Mentions:   Chalmers University of Technology   Xilinx

9. Lennart Kolmodin

   dtek.chalmers.se (May 28 2008) Explore Article

   ...former Chalmers student. Picture of me Lennart Kolmodin Computer Science and Engineering student at Chalmers University of Technology, Gothenburg, Sweden. Science Being a hobby programmer since before I was a teenager, ... (Read Full Article)
   

   Comment on Article Mentions:   Chalmers University of Technology

10. Haskell's overlooked object system (pdf)

    homepages.cwi.nl (May 20 2008) Explore Article

    ...nctional dependencies. Joint Winter Meeting of the Departments of Science and Computer Engineering, Chalmers University of Technology and Goteborg University, Varberg, Sweden, Jan. 2001. http://www.cs.chalmers.se/ ~hall... (Read Full Article)
    

    Comment on Article Mentions:   Lennart Augustsson   Computer Science   Haskell

11. Hardware Design and Functional Programming: a Perfect Match

    jucs.org (May 9 2008) Explore Article

    Mary Sheeran (Chalmers University of Technology ms@cs.chalmers.se) Abstract: This paper aims to explain why I am still fascinated by ... (Read Full Article)
    

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

12. Realistic compilation by program transformation (detailed summary)

    The ACM Portal (May 5 2008) Explore Article

    ...Transforming programs into recursire equations. In Compiling Lazy Functional Languages. PhD thesis, Chalmers University of Technology, 1987 Kelsey 89 Richard Andrews Kelsey, Compilation by program transformation, 1989 K... (Read Full Article)
    

    Comment on Article Mentions:   Matthias Felleisen   Mark Jones   John Reppy

13. Functional Program Correctness Through Types

    cs.nott.ac.uk (Apr 8 2008) Explore Article

    ...tness Through Types Functional Program Correctness Through Types Nils Anders Danielsson PhD thesis, Chalmers University of Technology and Göteborg University, 2007. abstract, pdf, errata] Abstract This thesis addresses... (Read Full Article)
    

    Comment on Article Mentions:   Nils Anders Danielsson   Chalmers University of Technology

14. Lennart Augustsson

    cs.chalmers.se (Mar 24 2008) Explore Article

    ...there are more pictures of me.) I am a lecturer ("lektor") at the Computing Science Department at Chalmers University of Technology. Currently I only work 40% at Chalmers, the rest of the time I work at CR&T. In the ... (Read Full Article)
    

    Comment on Article Mentions:   Haskell   Lennart Augustsson   Chalmers University of Technology

15. Church's Thesis and Functional Programming -- David Turner

    Computing at Kent (Mar 22 2008) Explore Article

    ..., a lazy version of the functional subset of ML, written by Lennart Augustsson & Thomas Johnsson at Chalmers University in Sweden, around 1984. Their model for mapping graph reduction onto conventional hardware, the G m... (Read Full Article)
    

    Comment on Article Mentions:   Chalmers University of Technology   Jean-Yves Girard   Christopher Strachey

16. Why Functional Programming Matters?

    math.chalmers.se (Mar 11 2008) Explore Article

    ... with Phil Wadler and Richard Bird in the Programming Research Group at Oxford. Magnus Bondesson at Chalmers University, Goteborg pointed out a serious error in an earlier version of one of the numerical algorithms, and... (Read Full Article)
    

    Comment on Article Mentions:   Philip Wadler   Chalmers University of Technology   Computer Architecture

1-15 of 27 // 1 2 »