Contents

• Intro
• Software

1. Introduction to Programming Concepts
2. Declarative Programming Techniques
3. Explicit State
4. Declarative Concurrency
5. Wrap Up