Programming Paradigms Lab

Lab wikis

• http://elf.cs.pub.ro/pp-cb/start
• https://ocw.cs.pub.ro/ppcarte/doku.php

Books

• Learn You a Haskell for Great Good - Miran Lipovača
• Real World Haskell - Bryan O'Sullivan, Don Stewart, and John Goerzen

Exercises

• H-99: Ninety-Nine Haskell Problems
• P-99: Ninety-Nine Prolog Problems

References

• Why Functional Programming Matters - John Hughes
• A Brief and Informal Introduction to the Lambda Calculus - Paul Hudak
• A Tutorial Introduction to the Lambda Calculus - Raul Rojas
• Lambda Calculus Handout
• elsa - a tiny language designed to build intuition about how computation-by-substitution works in λ-calculus
• Hoogle - Haskell API search engine
• SWI-Prolog documentation
• Learn Prolog Now!
• Prolog visualizer
• SWISH notebook