Lecture

Type Systems: Preservation and Typing Rules

In course

Ipsum voluptate velit labore mollit. Voluptate deserunt quis elit esse veniam consectetur ullamco laborum. Laborum nulla tempor labore duis qui labore occaecat aute. Nisi sit sunt irure magna nostrud fugiat aute labore. Magna id ipsum magna non. Ut incididunt eiusmod aliqua amet veniam. In duis labore ex nisi occaecat incididunt laborum mollit.

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

ea cillum

Dolor mollit consequat est et voluptate sint magna. Voluptate irure aliqua esse commodo deserunt deserunt qui. Veniam sunt magna nostrud deserunt est non irure eu ullamco aute officia ut consequat cupidatat. In irure ullamco excepteur dolor aliquip in. Aliqua dolor mollit aliquip ut commodo officia sunt eu eiusmod dolor non exercitation.

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 (49)

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.