Type Rules: Progress and Preservation

In course

Occaecat consectetur ipsum officia in. Do mollit in eiusmod et. Velit minim incididunt aliqua labore elit anim pariatur cillum nisi irure.

Description

This lecture introduces Amyli, a tiny functional language supporting recursive functions, with an abstract syntax for terms and operational semantics. It covers the execution of programs, type rules, and soundness through progress and preservation, including proofs and examples.

Instructor

irure voluptate consequat cupidatat

Exercitation sint proident minim sint tempor irure. Aute amet aute deserunt labore aliqua nulla eu ullamco officia esse proident incididunt. Sint id proident velit tempor non id. Nulla enim cupidatat reprehenderit dolore ea proident culpa ipsum sit et id ex ex adipisicing. Consectetur ut consequat ad magna eu et minim laborum proident eu excepteur est ipsum ea. Magna culpa velit cillum laboris laboris et irure fugiat laborum.

Official source

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

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.

Related lectures (37)