<--- 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

Inventor / Prior art / Patent / Claim / Reduction to practice / Title 35 of the United States Code / Patent law / United States patent law / Law

The Limited Monopoly Inventorship: Who Thunk Of It? The Law The United States is unique in the

DocID: 1adVJ - View Document

Object-oriented programming / Virtual method table / Pointer / Q / Thunk / Objective-C / Interface / Ada / Virtual function / Software engineering / Computing / Computer programming

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ Javier Miranda1 and Edmond Schonberg2 1

DocID: 17OEM - View Document

Control flow / Functional languages / OCaml / Caml / ML / Delimited continuation / Exception handling / Thunk / Dc / Software engineering / Computing / Computer programming

Delimited Control in OCaml, Abstractly and Concretely System Description Oleg Kiselyov FNMOC

DocID: 15FrW - View Document

Object-oriented programming / Virtual method table / Ada / Dynamic dispatch / C++ / Objective-C / Pointer / Java / Thunk / Software engineering / Computing / Computer programming

17 8 Towards Certification of Object-Oriented Code with the GNAT Compiler Javier Miranda Instituto Universitario de Microelectrónica Aplicada. Universidad de Las Palmas de Gran Canaria, Canary

DocID: 14ubT - View Document

Concurrency control / Thunk / Thread / Non-blocking algorithm / Glasgow Haskell Compiler / Monitor / Haskell / Evaluation strategy / Futures and promises / Computing / Software engineering / Computer programming

Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton Jones

DocID: 13Ufm - View Document