Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Sam Staton

LFCS Seminar: Sam Staton

— filed under:

Instances of computational effects -- an algebraic perspective

What
  • LFCS Seminar
When Apr 16, 2013
from 04:00 PM to 05:00 PM
Where IF 4.31-33
Contact Name
Add event to calendar vCal
iCal

Abstract:

 


This talk will be about the connections between computational effects, algebraic theories, and monads. I will focus on the idea that there may be many instances of a computational effect -- many memory cells or many network channels. I will present a syntactic algebraic framework and use it to analyze local store and the pi calculus. My framework has models in presheaf categories, and so it builds on the earlier analyses by Plotkin, Power, Stark and others.

 

[work to be presented at LICS 2013]

 

Document Actions