<--- Back to Details
First PageDocument Content
Functional languages / Type theory / Meta-programming / Template Haskell / Recursion / Glasgow Haskell Compiler / Monad / Map / Haskell / Software engineering / Computing / Computer programming
Date: 2006-12-11 05:41:32
Functional languages
Type theory
Meta-programming
Template Haskell
Recursion
Glasgow Haskell Compiler
Monad
Map
Haskell
Software engineering
Computing
Computer programming

Template Meta-programming for Haskell Tim Sheard

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 210,88 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