Index of /wadler/papers/propositions-as-types

Icon  Name                      Last modified      Size  Description
[   ] propositions-as-types.pdf 2015-07-17 07:18  255K  
[   ] krakow.pdf                2016-02-17 13:18  5.4M  
[   ] stanford.pdf              2016-05-11 21:39  5.4M
Apache/2.4 Server at homepages.inf.ed.ac.uk Port 443