[FLOLAC'14][scm] Functional Programming Using Haskell
0 PROGRAMMING IN HASKELL Chapter 7 - Higher-Order Functions.
Constructing List Homomorphisms from Proofs
Functional Programming for Computing Clouds
Introduction to Haskell@Open Source Conference 2007 Hokkaido
Introduction to Categorical Programming (Revised)