Runciman

Results: 52



#Item
1Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
2Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor)

Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor)

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
3D´ej`a Fu: A Concurrency Testing Library for Haskell Michael Walker Colin Runciman University of York, UK

D´ej`a Fu: A Concurrency Testing Library for Haskell Michael Walker Colin Runciman University of York, UK

Add to Reading List

Source URL: www.barrucadu.co.uk

- Date: 2018-03-17 08:00:14
    4Search Party: a Haskell library for speculative parallelism in generate-and-test searches Extended Abstract Michael Walker Colin Runciman

    Search Party: a Haskell library for speculative parallelism in generate-and-test searches Extended Abstract Michael Walker Colin Runciman

    Add to Reading List

    Source URL: www.barrucadu.co.uk

    - Date: 2018-03-17 08:00:14
      5Cheap Remarks about Concurrent Programs Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

      Cheap Remarks about Concurrent Programs Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

      Add to Reading List

      Source URL: www.barrucadu.co.uk

      - Date: 2018-03-17 08:00:14
        6Cheap Remarks about Concurrent Programs* Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

        Cheap Remarks about Concurrent Programs* Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

        Add to Reading List

        Source URL: www.barrucadu.co.uk

        - Date: 2018-03-17 08:00:14
          7A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

          A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

          Add to Reading List

          Source URL: community.haskell.org

          Language: English - Date: 2013-10-12 04:58:09
          8Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

          Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

          Add to Reading List

          Source URL: community.haskell.org

          Language: English - Date: 2013-10-12 04:58:09
          9Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if

          Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if

          Add to Reading List

          Source URL: community.haskell.org

          Language: English - Date: 2013-10-12 04:58:09
          10A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

          A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

          Add to Reading List

          Source URL: ndmitchell.com

          Language: English - Date: 2016-04-19 09:56:22