log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: The Derivative of a Regular Type is its Type of One-Hole Contexts
Leo Lampropoulos - University of Maryland, College Park
5237 Brendan Iribe Center for Computer Science and Engineering (IRB)
Wednesday, April 17, 2019, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Weekly PL lunch discussing the papers "The Zipper" and "The Derivative of a Regular Type is its Type of One-Hole Contexts". Discussion will be led by Leo Lampropoulos.

Papers available here: http://gallium.inria.fr/~huet/PUBLIC/zip.pdf

And here: http://strictlypositive.org/diff.pdf

Sign up to present here: https://docs.google.com/spreadsheets/d/1y3Ok0jvMCgwVzy7ETGK14Y2tp5JoVvQT4TGmb82e4g0/edit?usp=sharing

This talk is organized by Kesha Hietala