<--- 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 / Computer programming / Software / Functional languages / Subroutines / Haskell / Literate programming / Stack / Call stack / Glasgow Haskell Compiler

Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology

DocID: 1rd2w - View Document

Software engineering / Computing / Software / Functional languages / Haskell / Glasgow Haskell Compiler / Clean / Green threads / Entry point / Runtime system / Bytecode / Yi

Last week, David Terei lectured about the compilation pipeline which is responsible for producing the executable binaries of the Haskell code you actually want to run.

DocID: 1qT3J - View Document

Software engineering / Computer programming / Computing / Subroutines / Type theory / Lambda calculus / Theoretical computer science / Data types / Inline expansion / Mutual recursion / Recursion / Standard ML

Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow

DocID: 1qxEI - View Document

Software engineering / Computer programming / Declarative programming / Functional programming / Lambda calculus / Subroutines / Functional languages / Literate programming / Monad / Let expression / Glasgow Haskell Compiler / Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

DocID: 1qtvY - View Document

Software / Computer programming / Compilers / Compiler construction / LLVM / Cross-platform software / Glasgow Haskell Compiler / Intermediate representation / Object-oriented programming languages / Haskell / D / Compiler

Low Level Virtual Machine for Glasgow Haskell Compiler By David Anthony Terei Supervisor Manuel M. T. Chakravarty

DocID: 1q4e1 - View Document