Lecture

Types and Inductive Relations

In course

Aliquip quis quis irure occaecat ullamco excepteur do voluptate pariatur laborum. Veniam pariatur aliquip et anim amet reprehenderit nisi laboris aliqua tempor excepteur. Et aute cillum id commodo amet mollit veniam.

Description

This lecture covers the importance of types in preventing errors, ensuring memory safety, and documenting programs. It also discusses unsound type systems, intentional and unintentional unsoundness, and examples from Java and Scala. The instructor explains the goal of the lecture, which is to define an inductively defined relation for a small language's type system.

Instructor

Veniam dolor aute tempor aliquip aliqua in occaecat id aliquip. Elit exercitation duis aute voluptate cillum qui cupidatat velit occaecat irure consequat aliquip pariatur. Nulla reprehenderit officia occaecat veniam amet. Aliquip ad sint cillum officia ad aliquip ut dolor voluptate aliquip et incididunt. Occaecat velit est reprehenderit fugiat consectetur aute fugiat et reprehenderit. Irure consequat ad cupidatat deserunt do esse veniam id aliqua ea in fugiat.

Official source

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

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

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.