Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
bin
tidy up
Dec 14, 2018
image
Rewrite
Jul 16, 2018
source
Rewrite
Jul 16, 2018
.gitignore
title page, referenced papers
Oct 25, 2013
README.md
fix wording
Oct 25, 2013
algebra.tex
tidy up
Dec 14, 2018
consequences.tex
Rewrite
Jul 16, 2018
fast-and-loose-reasoning.tex
fnconf
Dec 12, 2018
introduction.tex
fnconf
Dec 12, 2018
limits-of-parametricity.tex
fix Store
Dec 14, 2018
parametricity.bib
Slides for talk on parametricity
Nov 8, 2013
parametricity.tex
.
Dec 14, 2018
qfpl.tex
fnconf
Dec 12, 2018
questions.tex
Rewrite
Jul 16, 2018
readability.tex
Rewrite
Jul 16, 2018
references.tex
Slides for talk on parametricity
Nov 8, 2013
title.tex
fnconf
Dec 12, 2018
types.tex
fnconf
Dec 12, 2018