Programming Language Theory ConceptStatic typeProperties 4Hide BooksChapter 5. Types JourneyProgramming Language Theory Statusmastered Tagslanguage feature designprogram analysistype theoryA type that is determined and checked at compile time, before the program runs, as opposed to dynamic types which are checked at runtime. Previous in ConceptsStatic semanticsNext in Concepts Strength reduction