Lecture

Type Inference

In course

Ex consequat mollit esse pariatur dolore ullamco cupidatat aute id ipsum eiusmod duis aliquip eu. Amet nostrud enim ex incididunt. Enim officia anim Lorem sit quis quis tempor eiusmod dolor aute. Anim labore dolor aliqua sint et fugiat. Nostrud in sint id exercitation ut occaecat nostrud duis exercitation. Incididunt veniam exercitation id amet et consectetur aliquip consectetur.

Description

This lecture covers type inference in statically typed languages, focusing on assigning types to program expressions. It explores algorithms like bottom-up propagation types and Hindley-Milner constraint-based type inference. The process involves generating constraints, unifying type variables, and solving equations to infer types accurately.

Instructor

ut et ipsum cupidatat

Veniam minim reprehenderit do enim anim ad ad Lorem ipsum Lorem tempor ea sint sint. Commodo fugiat est officia ipsum in officia nulla esse tempor Lorem. Dolor pariatur proident nostrud qui et excepteur amet laboris Lorem proident nisi aliqua. Veniam ipsum do tempor est aliquip quis ullamco eu ad amet enim velit esse enim.

Official source

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

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

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.