<--- Back to Details
First PageDocument Content
Distributed revision control systems / Darcs / Haskell / Git / Generalized algebraic data type / Monotone / Merge / Yi / Patch / Software / Computing / Computer programming
Date: 2014-08-04 13:00:59
Distributed revision control systems
Darcs
Haskell
Git
Generalized algebraic data type
Monotone
Merge
Yi
Patch
Software
Computing
Computer programming

Add to Reading List

Source URL: www.physics.oregonstate.edu

Download Document from Source Website

File Size: 366,51 KB

Share Document on Facebook

Similar Documents

Software 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

DocID: 1xVxS - View Document

Computer 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

DocID: 1xVja - View Document

Computer 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

DocID: 1xVgx - View Document

Software 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

DocID: 1xVbC - View Document

Software 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)

DocID: 1xV4B - View Document