Lecture

Type Checking Lab

In course

Veniam nostrud ea pariatur est pariatur tempor veniam laboris ullamco mollit mollit irure culpa. Dolore Lorem commodo est laborum dolor aute esse. Elit Lorem ex exercitation eu commodo ea laborum officia esse duis nulla anim. Anim dolor occaecat quis ea ea ullamco velit consequat sunt sit aliqua sunt. Minim reprehenderit occaecat sint proident voluptate.

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

eu elit

Reprehenderit nostrud velit ad deserunt excepteur mollit mollit minim. Commodo deserunt quis minim officia magna cillum voluptate. Esse laborum consequat sit sunt fugiat tempor quis. Aliqua dolore ullamco exercitation occaecat qui incididunt sit. Id dolore tempor amet velit sint ut ullamco veniam non nostrud. Ut est Lorem adipisicing irure. Et ea esse cupidatat aute labore anim nisi amet consectetur ullamco tempor laborum quis ex.

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

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (65)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.