a denotational semantics for Hindley-Milner Polymorphism

Add to your list(s) Download to your calendar using vCal

• Ohad Kammar, Computer Lab, Cambridge
• Monday 26 October 2015, 13:00-14:00
• FW11 Computer Lab.

If you have a question about this talk, please contact Timothy G. Griffin.

Keywords: let-polymorphism, value restriction, PL-categories, parametricity, algebraic effects, relative adjunctions.

This is work in progress with Sean Moss, Matija Pretnar, and Alex Simpson, some of which I presented in this year’s HOPE :

http://www.cl.cam.ac.uk/~ok259/talks/kammar-moss-hope-a-den-sem-for-hm-poly.pdf

This talk is part of the tgg22's list series.

This talk is included in these lists:

• FW11 Computer Lab

Note that ex-directory lists are not shown.