ImpredicativePolymorphism/Impredicative-2015: the-doc.pdf

File the-doc.pdf, 214.1 KB (added by AlejandroSerrano, 4 years ago)

Document describing the design

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.