<--- Back to Details
First PageDocument Content
Evaluation strategy / Functional languages / Functional programming / Lambda calculus / Lazy evaluation / Glasgow Haskell Compiler / Speculative execution / Thunk / Stream / Software engineering / Computing / Declarative programming
Date: 2003-10-06 03:13:27
Evaluation strategy
Functional languages
Functional programming
Lambda calculus
Lazy evaluation
Glasgow Haskell Compiler
Speculative execution
Thunk
Stream
Software engineering
Computing
Declarative programming

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

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