[Pl-seminar] Reminder: Seminar TODAY: Zena Ariola, Sequent calculus as a programming language

[Daniel Patterson]

Reminder that this is today, in WVH 110.

On Fri, Nov 25, 2016 at 10:58 PM Daniel Patterson <dbp at ccs.neu.edu> wrote:

> NUPRL Seminar presents
>
> Zena Ariola
> University of Oregon
> Host: Amal Ahmed
>
> 12:00pm-1:30pm
> Monday, Nov. 28, 2016
> Room 110 WVH (NOTE! DIFFERENT FROM NORMAL)
>
> Sequent calculus as a programming language
>
> Abstract:
>
> We will present and demonstrate the usefulness of the sequent
> calculus as a formal model of computation based on interactions
> between producers and consumers of results. This model leads
> to a better understanding of call-by-name evaluation by
> reconciling the conflicting principles of extensionality and
> weak-head evaluation, thus internalizing a known parametricity result. It
> allows one to explore two dualities of computation: the duality between
> call-by-name and call-by-value, and the duality between construction and
> deconstruction. This ultimately leads to a better linguistic foundation for
> co-induction as dual to induction. From a more practical point of view, the
> sequent calculus provides a useful inspiration for the design
> of intermediate languages.
>
> Bio:
>
> Zena Ariola is a Professor at the University of Oregon. She received a PhD
> in computer science at Harvard University in 1992 and a BA from University
> of Pisa. Her research interests include logic and the theoretical
> foundation of programming languages
>
-------------- next part --------------
HTML attachment scrubbed and removed