2020-10-15: Andre Videla (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Andre Videla (MSP)

Quantitative Type Theory and its application

Abstract

To build upon last week's talk on Dependent types, we will develop the intuition around Quantitative types and their usage in modern programming languages. What does it mean to program when the type system is responsible for tracking resources rather than leave this task to the programmer? What new patterns do we see? And what are the limitations we encounter and how do we fix them? This talk aims to answers those questions in an approachable and interactive way.

2020-10-15 13:00:00 UTC
Online