Andreas Abel: On the Syntax and Semantics of Quantitative Typing
Oberseminar, Freitag, 4. Mai 2018, 14 Uhr c.t.
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