Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2018 / Oberseminar / Andreas Abel: On the Syntax and Semantics of Quantitative Typing


Inhaltsbereich

Andreas Abel: On the Syntax and Semantics of Quantitative Typing

Oberseminar, Freitag, 4. Mai 2018, 14 Uhr c.t.
Wann 14:15 16:00 04.05.2018
von bis
Wo Raum L109, Oettingenstr. 67
Termin übernehmen vCal
iCal

Es spricht Andreas Abel über:
On the Syntax and Semantics of Quantitative Typing

Abstract:
Quantitative typing generalizes ordinary, linear and affine typing and
well-known program analyses such as strictness and dead code
detection.  Recently, Conor McBride and Bob Atkey have each presented
dependent quantitative type theories that properly integrate linearity
and dependency.  In this talk, I will present my own version of
quantitative type theory and discuss its semantics.  I will also touch
on potential applications, such as free theorems from linearity.  This
is very much work in progress.

Artikelaktionen


Funktionsleiste