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

      Name                    Last modified      Size  Description
      krakow.pdf              2016-02-17 13:18  5.4M  
      propositions-as-type..> 2015-07-17 07:18  255K  
      stanford.pdf            2016-05-11 21:39  5.4M