scrambled
Thoughts
Journeys
Sign in
Sign in
← back to phases
Kitchen
/
Journeys
/
Programming Language Theory
/
Phase 4 - Type systems & static verification
on-hold
No content yet.
← Previous phase
Phase 3 - Computability, complexity & decidability
Next phase →
Phase 5 - Program logics & verification