History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report

Source URL: www.users.waitrose.com

• Lambda calculus
• Combinatory logic
• Computability theory
• Fixed-point combinator
• Function
• Haskell Curry
• Free variables and bound variables
• Principia Mathematica
• First-order logic
• Mathematics
• Mathematical logic
• Theoretical computer science

Visualizing Parallel Functional Program Runs: Case Studies with the Eden Trace Viewer Jost Berthold and Rita Loogen Philipps-Universit¨at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMar

Source URL: www.mathematik.uni-marburg.de

• Parallel computing
• Thread
• Parallel Virtual Machine
• Process
• Profiling
• Haskell
• Lock
• Task parallelism
• Computing
• Concurrent computing
• Computer programming

A Tutorial on Parallel and Concurrent Programming in Haskell Lecture Notes from Advanced Functional Programming Summer School 2008(to appear) Simon Peyton Jones and Satnam Singh Microsoft Research Cambridge

Source URL: research.microsoft.com

• Functional languages
• Haskell
• Parallel computing
• Data parallelism
• Pure
• Futures and promises
• Eval
• ALGOL 68
• Thread
• Computing
• Software engineering
• Computer programming

Dynamic Space Limits for Haskell David Mazières * Complete * Consi

Source URL: www.scs.stanford.edu

• Memory management
• Control flow
• C++ Standard Library
• Garbage collection
• Closure
• Sequence container
• C dynamic memory allocation
• Futures and promises
• C
• Computing
• Software engineering
• Computer programming

LLVM Tobias Grosser ENS - INRIA July 23, 2012

Source URL: www.grosser.es

• Scripting languages
• Clang
• LLVM
• Cross-platform software
• Blocks
• Glasgow Haskell Compiler
• GNU Compiler Collection
• Objective-C
• D
• Software
• Computing
• Compilers

RESOLUTIONS 2009 Page 2 TITLE: NIEA RESOLUTIONEstablish a NIEA Native Languages working group and white house proposal

Source URL: www.nativevillage.org

• Kansas
• Native Americans in the United States
• Tribal colleges and universities
• Indian Health Service
• Haskell Indian Nations University
• Americas
• United States
• National Indian Education Association

Table of Content Table of Content Apprendre Haskell vous fera le plus grand bien ! Introduction À propos de ce tutoriel Donc, qu’est-ce qu’Haskell ?

Source URL: lyah.haskell.fr

Perl 6 Tutorial Андрей Шитов & Джонатан Вортингтон Український воркшоп «Перл мова» 2008 Perl 6 Tutorial: Introduction

Source URL: www.jnthn.net

• Cross-platform software
• Perl
• Pugs
• Parrot virtual machine
• D
• Haskell
• Software
• Computing
• Perl 6

Table of Content Table of Content Apprendre Haskell vous fera le plus grand bien ! Introduction À propos de ce tutoriel Donc, qu’est-ce qu’Haskell ?

Source URL: lyah.haskell.fr

Parallel Coordination Made Explicit in a Functional Setting Jost Berthold and Rita Loogen Philipps-Universit¨ at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMarburg, Germany

Source URL: www.mathematik.uni-marburg.de

• Parallel computing
• Application programming interfaces
• Concurrent computing
• Algorithmic skeleton
• Threads
• Haskell
• Kahn process networks
• Futures and promises
• Monad
• Computing
• Computer programming
• Software engineering