<--- Back to Details
First PageDocument Content
Functional languages / International Conference on Functional Programming / ICFP Programming Contest / SIGPLAN / Continuation / Haskell / Dependent type / Generic programming / ML / Software engineering / Computing / Computer programming
Date: 2014-08-18 16:17:18
Functional languages
International Conference on Functional Programming
ICFP Programming Contest
SIGPLAN
Continuation
Haskell
Dependent type
Generic programming
ML
Software engineering
Computing
Computer programming

Contents Table of contents Room Page

Add to Reading List

Source URL: icfpconference.org

Download Document from Source Website

File Size: 190,11 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