haskell_programming_from_first_principles
2
beginning_haskell
developing_web_applications_with_haskell_and_yesod
developing_web_apps_with_haskell_and_yesod_2nd_ed
haskell_programming_from_first_principles_2016
Henk Barendregt, Erik Barendsen - Introduction to Lambda Calculus
Jean-Yves Girard - Proofs and Types
learning_haskell_data_analysis
miran_lipovaca-learn_you_a_haskell_for_great_good-2011
parallel_and_concurrent_programming_in_haskell
Raul Rojas - A tutorial introduction to the lambda calculus