Haskell Courses

Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Point-Free or Die - Tacit Programming in Haskell and Beyond
Strange Loop Conference via YouTube Coder Decoder - Functional Programmer Lingo Explained, with Pictures
Strange Loop Conference via YouTube Treiber in High-Level Programmiersprachen
media.ccc.de via YouTube Safe and Secure Drivers in High-Level Languages
media.ccc.de via YouTube Staging with Class - A Specification for Typed Template Haskell
GOTO Conferences via YouTube Property-based State Machine Testing
GOTO Conferences via YouTube Teaching New Tricks to Old Programs Part 2
GOTO Conferences via YouTube Teaching New Tricks to Old Programs Part 1
GOTO Conferences via YouTube Propagators Part 2
GOTO Conferences via YouTube

< Prev Page 4 Next >