[Pl-seminar] NEPLS: 2ND CALL FOR PARTICIPATION

[John Clements]

The Spring NEPLS will be held one week from today, at Northeastern 
University.  Here is the event's schedule:

NEPLS, 2004-02-24, Northeastern University

10:00 - Olin Shivers (Georgia Institute of Technology), "Bottom-up 
beta-reduction: uplinks and lambda-DAGs" (invited)
11:00 - Kim Bruce (Williams College), "Thoughts on Subtypes vs. 
Inheritance"
11:30 - Kevin Hamlen (Cornell University), "Which Security Policies Can 
Rewriters Enforce?"
12:00 - ** Lunch
13:00 - Carl Offner (HP Cambridge Research Laboratory), "TStreams, a 
New Language for Parallel Computation"
13:20 - Jonathan Edwards (Massachusetts Institute of Technology), 
"Example-Centric Programming"
13:40 - Christopher Diggins, "Reintroducing Modules into an 
Object-Oriented Language"
14:00 - Stephen Freund (Williams College), "Exploiting Purity for 
Atomicity"
14:30 - J. J. Hallett (Boston University), "Programming Examples 
Needing Polymorphic Recursion"
15:00 - ** Coffee Break
15:30 - Matthew Fluet (Harvard University), "Encoding Regions"
15:45 - Dale Vaillancourt (Northeastern University), "Relating 
Backtracking Monads"
16:00 - Sa Cui (Boston University), "Enforcing Static Access Control 
with Guarded/Asserting Types"
16:15 - Peter Neergaard (Brandeis University), "Intersection Types: 
Idempotent is Potency "
16:30 - ** Extremely Short Business Meeting

If you have not yet registered, and intend to come, please let us know 
immediately, by replying to this e-mail.

Instructions for attendees: reply to this e-mail.

Instructions for vegetarians: reply to this e-mail, setting the Subject 
line to 'Vegetarian'.

Instructions for those with other dietary restrictions: as above, 
setting the Subject line to the most appropriate possible summary.

Please note that a procmail filter will guide this message to a mailbox 
that human eyes do not survey, so please do not put anything of 
importance in the body of the message.

For more information about NEPLS, please visit our website:  
http://www.nepls.org/

Thanks,

John Clements