Haskell

Results: 1146



#Item
81Implementing a High-level Distributed-Memory Parallel Haskell in Haskell Patrick Maier and Phil Trinder School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK {P.Maier,P.W.Trinder}@hw.ac.uk

Implementing a High-level Distributed-Memory Parallel Haskell in Haskell Patrick Maier and Phil Trinder School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK {P.Maier,P.W.Trinder}@hw.ac.uk

Add to Reading List

Source URL: www.dcs.gla.ac.uk

- Date: 2013-12-19 07:07:16
    82Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology

    Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology

    Add to Reading List

    Source URL: www.arashrouhani.com

    - Date: 2016-12-09 06:50:51
      83Injective Type Families for Haskell

      Injective Type Families for Haskell

      Add to Reading List

      Source URL: research.microsoft.com

      - Date: 2015-08-24 05:10:58
        84Haskell in the Large Don Stewart Google Tech TalkHaskell in the Large

        Haskell in the Large Don Stewart Google Tech TalkHaskell in the Large

        Add to Reading List

        Source URL: dshevchenko.biz

        - Date: 2016-12-15 04:38:23
          85Embedding Session Types in Haskell Sam Lindley J. Garrett Morris The University of Edinburgh, UK

          Embedding Session Types in Haskell Sam Lindley J. Garrett Morris The University of Edinburgh, UK

          Add to Reading List

          Source URL: homepages.inf.ed.ac.uk

          - Date: 2016-07-29 11:16:16
            86In submission Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow Simon Peyton Jones

            In submission Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow Simon Peyton Jones

            Add to Reading List

            Source URL: research.microsoft.com

            - Date: 2016-04-15 08:18:29
              87Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell∗ MARK P. JONES

              Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell∗ MARK P. JONES

              Add to Reading List

              Source URL: web.cecs.pdx.edu

              - Date: 2005-10-01 03:15:10
                88Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

                Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

                Add to Reading List

                Source URL: web.cecs.pdx.edu

                - Date: 2014-01-24 04:02:53
                  89SpringIntroduction to Haskell Shachar Itzhaky & Mooly Sagiv (original slides by Kathleen Fisher & John Mitchell)

                  SpringIntroduction to Haskell Shachar Itzhaky & Mooly Sagiv (original slides by Kathleen Fisher & John Mitchell)

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2014-03-10 02:48:48
                    90Experience on implementing a Web server in Haskell Kazu Yamamoto 1

                    Experience on implementing a Web server in Haskell Kazu Yamamoto 1

                    Add to Reading List

                    Source URL: www.mew.org

                    - Date: 2014-06-17 02:23:25