Campus Event Calendar
Event Entry
What and Who
Programming with algebraic effects and handlers in Eff
Andrej Bauer
University of Ljubljana
SWS Colloquium
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Expert Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 2 August 2013
10:30
60 Minutes
E1 5
029
Saarbrücken
Abstract
Eff is a programming language in which computational effects and
handlers are first-class, so we can define new computational effects
and handle existing ones in flexible ways. This allows us to express
naturally not only the traditional computational effects, but also
control operators, such as delimited continuations, I/O redirection,
transactions, backtracking and other search strategies, and
cooperative multi-threading.
In the talk I shall first introduce Eff from a practical point of view
through examples, and then focus on a more precise treatment of a core
Eff. I shall also present an effect system for Eff.
handlers are first-class, so we can define new computational effects
and handle existing ones in flexible ways. This allows us to express
naturally not only the traditional computational effects, but also
control operators, such as delimited continuations, I/O redirection,
transactions, backtracking and other search strategies, and
cooperative multi-threading.
In the talk I shall first introduce Eff from a practical point of view
through examples, and then focus on a more precise treatment of a core
Eff. I shall also present an effect system for Eff.
Contact
Brigitta Hansen
0681 93039102
--email hidden
Video Broadcast
Yes
Kaiserslautern
G26
112
passcode not visible
logged in users only
Brigitta Hansen, 08/01/2013 10:37 -- Created document.