Course page Home page Home page CoursesNew course

Static type systems: Programming Language Design course | Zoonk

21. Static type systems

Define typing judgments and implement a checker for expressions, functions, records, and control flow. Distinguish static guarantees from checks that must remain at runtime.

Programming Language Design

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc