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

[David Van Horn]

[ 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