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.
Posted by at
Labels: , ,

3 comments:

Jean-Philippe Bernardy said...

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)

27/6/15 6:37 AM
Unknown said...

Dryer -> Dreyer?

28/6/15 6:50 PM
Philip Wadler said...

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

29/6/15 10:41 AM

Post a Comment

Subscribe to: Post Comments (Atom)