Type Systems: Preservation and Typing Rules

In course

Aliquip ad ad eu in. Nisi cupidatat proident labore magna culpa in. Incididunt non aliqua nisi deserunt incididunt in nostrud tempor tempor do magna nostrud. Exercitation dolore deserunt reprehenderit commodo amet. Mollit laborum ullamco cupidatat aliqua ullamco. Esse et anim pariatur Lorem ipsum ad sint non.

Description

This lecture covers the preservation property in type systems, including the Substitution Lemma and Weakening. It also discusses the importance of Permutation in maintaining the order of assumptions. The lecture introduces concepts like Sequencing, Ascription, Pairs, Tuples, and their evaluation and typing rules.

Instructor

nostrud ipsum cillum

Consectetur velit sunt esse adipisicing aliqua et pariatur ullamco laborum ad deserunt magna enim. Et fugiat Lorem consectetur elit sint. Labore nulla eu reprehenderit et nisi cillum sint duis fugiat nostrud amet pariatur in. Aute ipsum duis cupidatat eiusmod. Voluptate labore culpa ut culpa culpa et ad cillum. Officia velit irure ad nisi minim non sint exercitation et aliquip ullamco non. Exercitation est commodo labore commodo consectetur velit ad et veniam dolore officia.

Official source

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

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

Biology

Genetics: Genomics

Logic

Classical logic: First-order logic

Related lectures (50)