Type Checking Lab

In course

Officia sit quis ullamco aute. Nisi dolore quis officia ipsum fugiat enim laboris sunt sint incididunt. Quis laboris dolore Lorem minim eiusmod occaecat ipsum. Irure culpa enim ullamco commodo tempor esse velit cillum eiusmod anim voluptate. Sit veniam adipisicing aute labore quis ullamco in.

Description

This lecture covers the implementation of a type checker for Amy, a statically-typed language, focusing on name and type analysis. It explains the transition from nominal to symbolic trees, the generation of typing constraints, and the process of solving them via unification. The lecture also delves into the semantics and typing rules of expressions in Amy, emphasizing the importance of type checking in the compilation process.

Instructor

Mollit velit consequat ea occaecat consequat cupidatat cupidatat. Qui consectetur ad aute qui tempor nostrud consectetur aute ut nulla proident nulla. Ut pariatur velit pariatur minim enim officia labore voluptate tempor. Esse voluptate laboris cillum magna nisi. Nostrud ullamco labore fugiat ullamco. Laboris cillum nisi do veniam dolor esse ad tempor aute.

Official source

https://mediaspace.epfl.ch/media/0_n3vjmkox

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Related lectures (66)