Personal tools
You are here: Home Events LFCS seminar: Oliver Bračevac: The marriage of effects and joins

LFCS seminar: Oliver Bračevac: The marriage of effects and joins

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Dec 14, 2017
from 02:00 PM to 03:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

Diverse domains feature a join operation, e.g., stream-relational algebra, event processing, reactive and concurrent programming. This talk presents current efforts towards a framework for expressing semantic variants of joins, as modular and extensible libraries. The key mechanism are Plotkin et al.’s algebraic effects and handlers, which support a programming style akin to coroutines and exhibit desirable (co)algebraic properties. Joining becomes a matter of injecting computational effects into a simple cartesian product computation. For example, we can express nondeterministic matching as in complex event patterns, “zip" from reactive programming, Join Calculus style disjunctions and many more variants. Next to a formal model for “effectful" joining we discuss open challenges, such as behavioral typing of joins. 

 

 

Document Actions