Semantic Analysis and Type Systems

About this course

Perform scope resolution and type checking via attribute grammars and symbol tables. Implement Hindley-Milner type inference, polymorphism, and subtyping rules.

• 20 lessons
• 2 h
• advanced

What you'll learn

• Explain the purpose and phases of semantic analysis
• Identify the main challenges in semantic analysis
• Define attribute grammars and their components
• Differentiate between synthesized and inherited attributes
• Design a symbol table data structure
• Implement operations for inserting and looking up symbols

Finishing the course

• 80 knowledge-check questions along the way, so you know the ideas stuck before you move on.
• Watching is free and needs no account. Sign in to save your progress. Pass each lesson's quiz (60%+) to earn the certificate. Each certificate has its own public verification link to share, marked quiz-verified.

Created by