►Redex:   Practical Semantics Engineering
▼3 Extended Exercises
8.11.1.3
  top  contents    up   

3 Extended Exercises 🔗 ℹ

This section offers some Redex challenges of varying complexity. They are broken up into separate sections, alternating between problems and sample solutions.

    3.1 Problem: Objects

    3.2 Solution: Objects

    3.3 Problem: Types

    3.4 Solution: Types

    3.5 Problem: Missionaries and Cannibals

    3.6 Solution: Missionaries and Cannibals

    3.7 Problem: Towers of Hanoi

    3.8 Solution: Towers of Hanoi

    3.9 Problem: GC

    3.10 Solution: GC

    3.11 Problem: Finite State Machines

    3.12 Solution: Finite State Machines

    3.13 Problem: Threads

    3.14 Solution: Threads

    3.15 Problem: Contracts

    3.16 Solution: Contracts

    3.17 Problem: Binary Addition

    3.18 Solution: Binary Addition

  top  contents    up