University of Cambridge > Talks.cam > tgg22's list > a denotational semantics for Hindley-Milner Polymorphism

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

a denotational semantics for Hindley-Milner Polymorphism

Download to your calendar using vCal

  • UserOhad Kammar, Computer Lab, Cambridge
  • ClockMonday 26 October 2015, 13:00-14:00
  • HouseFW11 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:

Note that ex-directory lists are not shown.

Other lists

Old Cellars, Pembroke College Latimer Room , Clare College Average on weekdays: 8921.81982942 kWh

Other talks

Professor Philip Rosenstiel, W3 Professor of Clinical Molecular Biology, Director, Institute of Clinical Molecular Biology (IKMB), Kiel University Fairy Tales The elephant in the room: Machine Learning directly into physical models A flexible Monte Carlo quantitative bias analysis for unmeasured confounding title abstract tba Science & the Public in Action: Can and should climate scientists be activists?
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity