ICFP 09

Bio

ICFP 09 hasn't provided this information yet.

Research interests

ICFP 09 hasn't provided this information yet.

ICFP 09's Videos

	Purely Functional Lazy Non-deterministic Programming added on 22 Sep 2009
	Haskell and Erlang: growing up together added on 22 Sep 2009
	Finding Race Conditions in Erlang with QuickCheck and PULSE added on 22 Sep 2009
	QuviQ added on 22 Sep 2009
	Experience report: embedded, parallel computer-vision with a functional DSL added on 22 Sep 2009
	Testing Erlang data types with quviq quickcheck added on 22 Sep 2009
	QuickSpec added on 22 Sep 2009
	Safe Functional Reactive Programming through Dependent Types added on 24 Sep 2009
	Partial Memoization of Concurrency and Communication added on 25 Sep 2009
	Data parallelism in a functional setting added on 22 Sep 2009
	The only implementation of Haskell with views added on 22 Sep 2009
	Glasgow Haskell Compiler: The Early Days added on 22 Sep 2009
	Glasgow Haskell Compiler: An Extension added on 24 Sep 2009
	Data parallel Haskell: a status report added on 22 Sep 2009
	ICFP Keynotes added on 22 Sep 2009
	Guy Steele: foldl and foldr considered slightly harmful added on 22 Sep 2009
	Benjamin Pierce: Using a Proof Assistant to Teach Programming Language Foundations, or, Lambda, the Ultimate TA added on 22 Sep 2009
	ICFP 09 Introduction added on 25 Sep 2009
	Creating new operating systems for cloud computing using functional programming languages added on 22 Sep 2009
	Biorthogonality, Step-Indexing and Compiler Correctness added on 24 Sep 2009
	Automatically RESTful web applications: marking modular serializable continuations added on 24 Sep 2009
	The worker/wrapper transformation added on 22 Sep 2009
	Generic Programming with Fixed Points for Mutually Recursive Datatypes added on 22 Sep 2009
	A universe of binding and computation added on 22 Sep 2009
	Program Derivation added on 25 Sep 2009
	Stochastic Lambda Calculus and Monads of Probability Distributions added on 25 Sep 2009
	Scribble: Closing the Book on Ad Hoc Documentation Tools added on 24 Sep 2009
	Partial Memoization of Concurrency and Communication added on 24 Sep 2009
	Software transaction memory added on 28 Sep 2009
	Free theorems involving type constructor classes: functional pearl added on 22 Sep 2009
	Complete and decidable type inference for GADTs added on 22 Sep 2009
	Dependent Types for Distributed Arrays added on 25 Sep 2009
	ICFP 09 Programming Contest added on 22 Sep 2009
	Where does the monomorphism restriction come from in Haskell? added on 22 Sep 2009
	Unifying objects and functions: treating functions as classes added on 24 Sep 2009
	Beautiful differentiation added on 24 Sep 2009
	Using Functional Programming in a Commercial Setting: Erlang and Facebook added on 24 Sep 2009
	seL4: Formal Verification of an OS Kernel added on 22 Sep 2009
	MLState added on 24 Sep 2009
	Shriram Krishnamurthi on WeScheme added on 25 Sep 2009
	Functional Programming Applications added on 22 Sep 2009
	Eastwest and Oset added on 24 Sep 2009
	A DSL for Psychologists added on 22 Sep 2009

ICFP 09's Papers

ICFP 09 has no supporting materials.