Malcolm Wallace’s Videos
-
Automatic Testing of TCP/IP Implementations Using Quickcheck.
-
A wander through GHC's new IO Library
-
Beautiful Differentiation
-
Beyond Haskell discussion
-
Biorthogonality, Step-Indexing and Compiler Correctness
-
Birth of the Industrial Haskell Group
-
Causal Commutative Arrows and Their Optimization
-
Cleaning up Erlang code is a dirty job but somebody's gotta do it.
-
Clear & Simple: Composing a Marketplace.
-
Commutative Monads, Diagrams and Knots
-
Complete and Decidable Type Inference for GADTs
-
Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation
Browse Videos
Here are all of the videos that Malcolm Wallace has uploaded to Vimeo. Appearances are videos that Malcolm Wallace has been credited in by others.
Also Check Out
More stuff from Malcolm Wallace