All Malcolm Wallace’s Videos
-
Functional Pearl: La Tour D’Hanoï
-
Teaching Erlang using Robotics and Player/Stage.
-
Recent Improvements to the McErlang model checker.
-
A more flexible code generator for GHC
-
FMD - Functional development in Excel.
-
Haskell for Everyone: Hackage and the Haskell Platform
-
A Universe of Binding and Computation
-
Biorthogonality, Step-Indexing and Compiler Correctness
-
Towards a Lightweight, Safety-preserving Haskell Compiler
-
Discussion: Haskell building and packaging
-
Stack tracing in Haskell
-
Experience Report: OCaml for an Industrial-strength Static Analysis Framework
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