Scott Smith’s Videos
-
Experience Report: Using Hackage to Inform Language Design by J. Garrett Morris
-
Exchanging Sources Between Clean and Haskell: A Double-Edged Front End for the Clean Compiler
-
A Generic Deriving Mechanism for Haskell by José Pedro Magalhaes, Atze Dijkstra, Johan Jeuring and Andres Löh
-
A Systematic Derivation of the STG Machine Verified in Coq by Maciej Pirog and Dariusz Biernacki
-
The Performance of the Haskell Containers Package by Milan Straka
-
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing by Tillmann Rendel and Klaus Ostermann
-
Status Reports on Haskell 2010 and Haskell 2011 by Simon Marlow and Malcolm Wallace
-
Instance Chains: Type Class Programming Without Overlapping Instances by J. Garrett Morris and Mark P. Jones
-
Experience Report: Haskell as a Reagent by Iustin Pop
-
A Play on Regular Expressions by Sebastian Fischer, Frank Huch and Thomas Wilke
-
Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson
-
VeriML: Typed Computation of Logical Terms inside a Language with Effects by Antonis Stampoulis and Zhong Shao
Browse Videos
Here are all of the videos that Scott Smith has uploaded to Vimeo. Appearances are videos that Scott Smith has been credited in by others.
Also Check Out
More stuff from Scott Smith