Haskell

Results: 1146



#Item
71Regular, Shape-polymorphic, Parallel Arrays in Haskell Gabriele Keller† Manuel M. T. Chakravarty† Simon Peyton Jones‡

Regular, Shape-polymorphic, Parallel Arrays in Haskell Gabriele Keller† Manuel M. T. Chakravarty† Simon Peyton Jones‡

Add to Reading List

Source URL: benl.ouroborus.net

- Date: 2016-06-13 03:19:32
    72Native Offload of Haskell Repa Programs to Integrated GPUs Hai Liu Laurence E. Day Neal Glew

    Native Offload of Haskell Repa Programs to Integrated GPUs Hai Liu Laurence E. Day Neal Glew

    Add to Reading List

    Source URL: www.thev.net

    - Date: 2014-07-02 20:23:04
      73Native Offload of Haskell Repa Programs to Integrated GPUs Hai (Paul) Liu with Laurence Day, Neal Glew, Todd Anderson, Rajkishore Barik Intel Labs. September 28, 2016

      Native Offload of Haskell Repa Programs to Integrated GPUs Hai (Paul) Liu with Laurence Day, Neal Glew, Todd Anderson, Rajkishore Barik Intel Labs. September 28, 2016

      Add to Reading List

      Source URL: www.thev.net

      - Date: 2016-09-28 19:55:06
        74Ömer Sinan Ağacan, CV    Personal info    I’m a software developer with 3 years of compiler development and 4 years of Haskell  experience. 

        Ömer Sinan Ağacan, CV    Personal info    I’m a software developer with 3 years of compiler development and 4 years of Haskell  experience. 

        Add to Reading List

        Source URL: osa1.net

        - Date: 2018-03-17 15:59:07
          75Representation of musical notation in Haskell Edward Lilley Institute of Astronomy, University of Cambridge September 9, 2017

          Representation of musical notation in Haskell Edward Lilley Institute of Astronomy, University of Cambridge September 9, 2017

          Add to Reading List

          Source URL: functional-art.org

          - Date: 2018-01-20 12:19:10
            76Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg

            Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg

            Add to Reading List

            Source URL: www.microsoft.com

            - Date: 2018-01-04 05:47:54
              77Notes 10 min presentation, 10 min demo see more in presentation notes below Real-Time Interactive Music In Haskell

              Notes 10 min presentation, 10 min demo see more in presentation notes below Real-Time Interactive Music In Haskell

              Add to Reading List

              Source URL: functional-art.org

              - Date: 2018-01-20 12:19:10
                78UNIVERSITY OF CALIFORNIA, SAN DIEGO Liquid Haskell: Haskell as a Theorem Prover A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy

                UNIVERSITY OF CALIFORNIA, SAN DIEGO Liquid Haskell: Haskell as a Theorem Prover A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy

                Add to Reading List

                Source URL: goto.ucsd.edu

                - Date: 2016-12-06 11:13:42
                  79Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala

                  Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala

                  Add to Reading List

                  Source URL: goto.ucsd.edu

                  - Date: 2014-06-11 23:19:29
                    80Generating Size­Parameterized Functions for  Circuit Simulation Using Template Haskell  Christoph Herrmann University of Passau Talk at the IFIP­WG 2.11 Meeting

                    Generating Size­Parameterized Functions for  Circuit Simulation Using Template Haskell  Christoph Herrmann University of Passau Talk at the IFIP­WG 2.11 Meeting

                    Add to Reading List

                    Source URL: www.infosun.fmi.uni-passau.de

                    - Date: 2006-02-01 13:12:19