Haskell

Results: 1146



#Item
71

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
    72

    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
      73

      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. 

        Add to Reading List

        Source URL: osa1.net

        - Date: 2018-03-17 15:59:07
          75

          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
            76

            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
              77

              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
                78

                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
                  79

                  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
                    80

                    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
                      UPDATE