Examples

• Non-Empty Lists
• Solving the Expression Problem

Theory

• Permutations in Stack Programming
• Pattern-Matching as Inverse
• Or-Patterns