Speaker / Predavač

Zena Ariola

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

Back