[PRL] Fwd: Re: [Programming] PL Seminar Next Week -- Jesse Tov

[Jesse A. Tov]

If anyone wants to come on Wednesday, I'll have room for four in my
car from NU to Harvard and back. I'm planning to leave at 3:15 and
we'll be back in time for the 6 PM meeting. Let me know if you'd like
a seat.

Cheers,
Jesse

On Thu, Oct 13, 2011 at 16:11, David Van Horn <dvanhorn at ccs.neu.edu> wrote:
> [ Harvard PL seminar are Wednesdays at 4pm. -- David ]
>
> -------- Original Message --------
> Subject: Re: [Programming] PL Seminar Next Week -- Jesse Tov
> Date: Thu, 13 Oct 2011 13:47:24 -0400
> From: Jesse A. Tov <tov at eecs.harvard.edu>
> To: Programming at eecs.harvard.edu
>
> Thanks to Gregory for the announcement.
>
> I should add that because this is a practice conference talk, it will
> be only 20 minutes. It won't be very polished, because I'm hoping to
> improve it based on whatever feedback those in attendance can supply.
> Any negative comments you can muster will be greatly appreciated.
>
> Cheers,
> Jesse
>
> On Thu, Oct 13, 2011 at 12:08, Gregory Malecha
> <gmalecha at eecs.harvard.edu> wrote:
>> Jesse Tov will be talking at next week's programming language seminar. MD
>> 323 @ 4:00pm
>> A Theory of Substructural Types and Control
>> Jesse A. Tov and Riccardo Pucella
>> Exceptions are invaluable for structured error handling in high-level
>> languages, but they are at odds with linear types. More generally,
>> control effects may delete or duplicate portions of the stack, which,
>> if we are not careful, can invalidate all substructural usage
>> guarantees for values on the stack. We have developed a
>> type-and-effect system that tracks control effects and ensures that
>> values on the stack are never wrongly duplicated or dropped. We
>> present the system first with abstract control effects and prove its
>> soundness. We then give examples of three instantiations with
>> particular control effects, including exceptions and delimited
>> continuations, and show that they meet the soundness criteria for
>> specific control effects.
>> --
>> gregory malecha
>> http://www.people.fas.harvard.edu/~gmalecha/
>>
>> _______________________________________________
>> Programming mailing list
>> Programming at eecs.harvard.edu
>> https://lists.eecs.harvard.edu/mailman/listinfo/programming
>>
>>
> _______________________________________________
> Programming mailing list
> Programming at eecs.harvard.edu
> https://lists.eecs.harvard.edu/mailman/listinfo/programming
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl
>