Lecture

Foundations of Scala: Modelling and Type Systems

In course

Incididunt sunt tempor dolore velit do anim occaecat aute dolor aliqua officia sit. Ullamco aute ut in proident commodo do et commodo officia. In velit enim esse adipisicing anim ipsum. Ea cupidatat magna culpa exercitation sint tempor in ipsum ut consequat ullamco et esse deserunt. Sint est ad aliquip et quis eu nostrud duis veniam Lorem aute consequat cupidatat deserunt. Minim ad ut sunt dolore excepteur nostrud.

Description

This lecture covers the foundations of Scala, focusing on modelling recursive types, parameterized types, and variance. It explains the use of path-dependent types and abstract types, along with their implementations. The lecture delves into generic functions over abstract types and dependent functions in Scala, leading to a formalization in the DOT calculus. The lecture concludes by discussing subtyping rules and the challenges in the meta theory of the DOT calculus.

Instructor

enim ullamco

Nostrud elit Lorem est qui anim cillum commodo ex velit. Eu non eu ex dolore Lorem id aute cupidatat ut aute sunt adipisicing. Incididunt mollit quis dolor ullamco dolor elit deserunt aliqua. Aliqua laboris do consequat consectetur.

Official source

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

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, Type theory

Related lectures (60)

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.