Pages

▼

26.6.15

A brief bibliography on parametricity

Henry Story asked HoTT Cafe about parametricity, prompting creation of a handy, short bibliography including Hermida, Reddy, and Robinson; Ahmed; Dreyer; Milewski (artist of the elegant diagram above); and Shulman.
at

3 comments:

  1. Jean-Philippe Bernardy27/6/15 6:37 AM

    Let me point out that we have recently given a cubical model for parametricity:

    http://www.cse.chalmers.se/~mouling/share/PresheafModelParametericTT.pdf

    (It is a refinement of the cubical model used for HoTT before)

    ReplyDelete
  2. Unknown28/6/15 6:50 PM

    Dryer -> Dreyer?

    ReplyDelete
  3. Philip Wadler29/6/15 10:41 AM

    @Unknown: Thanks. Fixed, with apologies to Derek!

    ReplyDelete