BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:a denotational semantics for Hindley-Milner Polymorphism - Ohad Ka
 mmar\, Computer Lab\, Cambridge 
DTSTART:20151026T130000Z
DTEND:20151026T140000Z
UID:TALK62136@talks.cam.ac.uk
CONTACT:Timothy G. Griffin
DESCRIPTION:Keywords: let-polymorphism\, value restriction\, PL-categories
 \,\nparametricity\, algebraic effects\, relative adjunctions.\n\nThis is w
 ork in progress with Sean Moss\, Matija Pretnar\, and Alex\nSimpson\, some
  of which I presented in this year's HOPE:\n\nhttp://www.cl.cam.ac.uk/~ok2
 59/talks/kammar-moss-hope-a-den-sem-for-hm-poly.pdf
LOCATION:FW11 Computer Lab
END:VEVENT
END:VCALENDAR