<--- Back to Details
First PageDocument Content
Software engineering / Computing / Computer programming / Tutorial / Don Sannella / Haskell / D / Informatics / Functional programming
Date: 2012-09-24 08:45:19
Software engineering
Computing
Computer programming
Tutorial
Don Sannella
Haskell
D
Informatics
Functional programming

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

Add to Reading List

Source URL: www.inf.ed.ac.uk

Download Document from Source Website

File Size: 338,64 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