Runciman - PDFSEARCH.IO - Document Search Engine

Runciman
Results: 52

#	Item
1	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 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional
2	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 Software engineering Programming language theory Computer programming Functional languages Debugging Literate programming Haskell Program slicing Insertion sort
3	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
4	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
5	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
6	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
7	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 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
8	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 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
9	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 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
10	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 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function

UPDATE