[Pl-seminar] 11/28 Seminar: Zena Ariola, Sequent calculus as a programming language

[Daniel Patterson]

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