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-functions.pdf                 2016-05-30 19:05  1.3M  
 mccarthy-towards-a-science.pdf                   2016-06-01 13:58  188K  
 milner-type-polymorphism.pdf                     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-definitional-interpreters-1972.pdf      2016-05-31 11:29  2.1M  
 reynolds-definitional-interpreters-1998.pdf      2016-05-30 17:34  154K  
 reynolds-definitional-interpreters-revisited.pdf 2016-06-03 12:20   45K  
 reynolds-discoveries.pdf                         2016-06-10 11:51  851K