scrambled
Thoughts
Journeys
Reads
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