Haskell

Results: 1146



#Item
1Software engineering / Programming language implementation / Computer programming / Compiler construction / Compilers / Functional languages / LLVM / Haskell / Cabal / GHC / Static single assignment form / Compiler

Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016

Add to Reading List

Source URL: thev.net

Language: English - Date: 2016-09-28 19:55:36
2Computer architecture / Computing / Computer engineering / GPGPU / Parallel computing / Graphics hardware / Coprocessors / Application-specific integrated circuits / Graphics processing unit / Single instruction /  multiple threads / Advanced Micro Devices / Central processing unit

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: thev.net

Language: English - Date: 2016-09-28 19:55:06
3Computer programming / Software engineering / Declarative programming / Recursion / Functional programming / Computability theory / Theoretical computer science / Programming paradigms / Algebraic data type / Fold / Pattern matching / Conditional

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
4Software engineering / Computer programming / Declarative programming / Type theory / Functional programming / Data types / Type systems / Functional languages / Haskell / Type class / Monad / Generic programming

Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS

Add to Reading List

Source URL: www.haskell.org

Language: English - Date: 2015-02-15 12:19:14
5Software engineering / Programming language theory / Computer programming / Functional languages / Debugging / Literate programming / Haskell / Program slicing / Insertion sort

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
6Computing / Computer architecture / Concurrent computing / Parallel computing / GPGPU / Graphics hardware / OpenCL / General-purpose computing on graphics processing units / Graphics processing unit / Compute kernel / CUDA / Hardware acceleration

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

Add to Reading List

Source URL: thev.net

Language: English - Date: 2014-07-02 20:23:04
7Computing / Computer programming / Software engineering / Functional languages / Intel C++ Compiler / LLVM / Haskell / Glasgow Haskell Compiler / SIMD / Benchmark / Clean / Static single assignment form

Measuring the Haskell Gap Leaf Petersen Todd A. Anderson Hai Liu

Add to Reading List

Source URL: thev.net

Language: English - Date: 2014-02-12 14:22:50
8Programming language implementation / Computer programming / Computing / Parser generators / Compiling tools / Compiler construction / Parsing algorithms / Finite automata / Yacc / Parsing / Lex / GNU bison

Parser Design Neil Mitchell June 25, 2004 1

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
9Software engineering / Computer programming / Declarative programming / Functional languages / Functional programming / Recursion / Higher-order functions / Programming language comparisons / Haskell / Lazy evaluation / ML / Conditional

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
10

PDF Document

Add to Reading List

Source URL: haskell.edu

- Date: 2017-01-31 05:27:25
    UPDATE