[$LIST] talk on Thursday

[Will Benton <willb@xxxxxxxxxxx>]

I neglected to fill out the talk submission form, so this didn't go out 
in the weekly talk announcements e-mail:

---snip---
Effect Systems and Applications
Will Benton

Thursday, March 03, 2005
4:00, 1325 CS

Effect systems extend type systems by annotating expressions with a 
description of their effects and a region of the store in which such 
effects may occur. In this talk, I present a crash course on effect 
systems: their genesis and evolution, an object-oriented effect system, 
and notable contemporary applications of effect systems, including 
region-based memory management. I conclude by presenting recent joint 
work with Charles Fischer on using effect systems to help programmers 
understand the modular structure of Java programs.
---snip---

Hope to see you there.


best,
wb

---
Will Benton <willb@xxxxxxxxxxx>
coordinates:  http://www.cs.wisc.edu/~willb/willb.vcf