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.

Labels: , ,


# posted by Philip Wadler @ 12:57 PM
Comments:
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)
# posted by Blogger Jean-Philippe Bernardy : 27/6/15 6:37 AM
 
Dryer -> Dreyer?
# posted by Blogger Unknown : 28/6/15 6:50 PM
 
@Unknown: Thanks. Fixed, with apologies to Derek!
# posted by Blogger Philip Wadler : 29/6/15 10:41 AM
 
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?