Vidiowiki

All videos in ICFP 2009

Glasgow Haskell Compiler: The Early Days     Glasgow Haskell Compiler: The Early Days

seL4: Formal Verification of an OS Kernel     seL4: Formal Verification of an OS Kernel

Using Functional Programming in a Commercial Setting: Erlang and Facebook     Using Functional Programming in a Commercial Setting: Erlang and Facebook

ICFP 09 Programming Contest     ICFP 09 Programming Contest

Benjamin Pierce: Using a Proof Assistant to Teach Programming Language Foundations, or, Lambda, the Ultimate TA     Benjamin Pierce: Using a Proof Assistant to Teach Programming Language Foundations, or, Lambda, the Ultimate TA

Eastwest and Oset     Eastwest and Oset

The only implementation of Haskell with views     The only implementation of Haskell with views

Generic Programming with Fixed Points for Mutually Recursive Datatypes     Generic Programming with Fixed Points for Mutually Recursive Datatypes

Data parallel Haskell: a status report     Data parallel Haskell: a status report

Program Derivation     Program Derivation

Dependent Types for Distributed Arrays     Dependent Types for Distributed Arrays

Complete and decidable type inference for GADTs     Complete and decidable type inference for GADTs

Creating new operating systems for cloud computing using functional programming languages     Creating new operating systems for cloud computing using functional programming languages

MLState     MLState

The worker/wrapper transformation     The worker/wrapper transformation

Where does the monomorphism restriction come from in Haskell?     Where does the monomorphism restriction come from in Haskell?

Unifying objects and functions: treating functions as classes     Unifying objects and functions: treating functions as classes

Haskell and Erlang: growing up together     Haskell and Erlang: growing up together

Shinichiro Hamaji on winning ICFP '09 Programming Contest     Shinichiro Hamaji on winning ICFP '09 Programming Contest

Functional Programming Applications     Functional Programming Applications

Beautiful differentiation     Beautiful differentiation

Scribble: Closing the Book on Ad Hoc Documentation Tools     Scribble: Closing the Book on Ad Hoc Documentation Tools

ICFP Keynotes     ICFP Keynotes

QuviQ     QuviQ

Experience report: embedded, parallel computer-vision with a functional DSL     Experience report: embedded, parallel computer-vision with a functional DSL

A DSL for Psychologists     A DSL for Psychologists

Software transaction memory     Software transaction memory

Partial Memoization of Concurrency and Communication     Partial Memoization of Concurrency and Communication

Safe Functional Reactive Programming through Dependent Types     Safe Functional Reactive Programming through Dependent Types

QuickSpec     QuickSpec

ICFP 09 Introduction     ICFP 09 Introduction

Data parallelism in a functional setting     Data parallelism in a functional setting

Guy Steele: foldl and foldr considered slightly harmful     Guy Steele: foldl and foldr considered slightly harmful

Stochastic Lambda Calculus and Monads of Probability Distributions     Stochastic Lambda Calculus and Monads of Probability Distributions

A universe of binding and computation     A universe of binding and computation

Glasgow Haskell Compiler: An Extension     Glasgow Haskell Compiler: An Extension

Automatically RESTful web applications: marking modular serializable continuations     Automatically RESTful web applications: marking modular serializable continuations

Finding Race Conditions in Erlang with QuickCheck and PULSE     Finding Race Conditions in Erlang with QuickCheck and PULSE

Partial Memoization of Concurrency and Communication     Partial Memoization of Concurrency and Communication

Testing Erlang data types with quviq quickcheck     Testing Erlang data types with quviq quickcheck

Biorthogonality, Step-Indexing and Compiler Correctness     Biorthogonality, Step-Indexing and Compiler Correctness

Free theorems involving type constructor classes: functional pearl     Free theorems involving type constructor classes: functional pearl

Shriram Krishnamurthi on WeScheme     Shriram Krishnamurthi on WeScheme

Embed this video

Close

Sign in

:
:
Forgot your password?