Index of /wadler/papers/papers-we-love

      Name                    Last modified      Size  Description
      landin-next-700.pdf     2016-06-01 14:01  1.1M  
      mccarthy-recursive-f..> 2016-05-30 19:05  1.3M  
      mccarthy-towards-a-s..> 2016-06-01 13:58  188K  
      milner-type-polymorp..> 2016-06-01 14:16  1.6M  
      papers-we-love-oct.key  2016-10-25 18:06  8.7M  
      papers-we-love-oct.pdf  2016-10-25 18:06  4.7M  
      papers-we-love.key      2016-06-07 14:01  8.7M  
      papers-we-love.pdf      2016-06-07 14:01  4.7M  
      plotkin-cbv-cbn.pdf     2016-06-01 14:02  4.4M  
      reminiscences.pdf       2016-06-10 11:51  3.5M  
      reynolds-definitiona..> 2016-05-31 11:29  2.1M  
      reynolds-definitiona..> 2016-05-30 17:34  154K  
      reynolds-definitiona..> 2016-06-03 12:20   45K  
      reynolds-discoveries..> 2016-06-10 11:51  851K