Collection of FP Articles by Paul Callaghan

Thinking Functionally with Haskell

• Part 1: Thinking Functionally with Haskell– Introduction to Haskell
• Part 2: Thinking Functionally with Haskell – Type system
• Part 3: Thinking Functionally with Haskell – A kata to apply what is taught so far
• Part 4: Thinking Functionally with Haskell – Plumbing with monads

Dependent Types

• Part 1: Dependent Types
• Part 2: Dependent Types