Speaker / Predavač
University of Oregon, SAD
Naslov / Title
The impact of duality
Sažetak / Abstract
We will analyze how duality provides a foundation for two approaches to organize
information based on the construction and distruction of information.
We will also discuss how duality has suggested how to:
- implement strong reduction efficiently
- provide an intermediate language with labels and jumps without being classical
- reason about inductive and co-inductive structures
- program in a demand-driven style
- provide an abstraction mechanisms.
date/vreme: Tuesday, 12/03/2019, 12:00-13:00 h
venue/mesto: sala za sastanke na 3. spratu u KULI FTN