User Tools

Site Tools


readinggroup:winter10

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

readinggroup:winter10 [2014/03/03 19:33] (current)
cschuster Moved from readinggroup
Line 1: Line 1:
 +====Winter 2010====
 +
 +  * **January 13**
 +    * [[http://​homepages.inf.ed.ac.uk/​wadler/​papers/​essence/​essence.dvi|The Essence of Functional Programming]],​ Philip Wadler, POPL 1992.
 +  * **January 27**
 +    * The Essence of Functional Programming;​ Part 2: experience report
 +  * **February 3** 
 +    * [[http://​comjnl.oxfordjournals.org/​cgi/​content/​abstract/​6/​4/​308 | The Mechanical Evaluation of Expressions]],​ Peter Landin, The Computer Journal, 1964. 
 +       * Introduces the [[http://​en.wikipedia.org/​wiki/​SECD_machine | SECD]] machine for running functional programs.
 +       * For some context: [[http://​www.brics.dk/​RS/​03/​33/​|A Rational Deconstruction of Landin'​s SECD Machine]], Olivier Danvy, 2003. 
 +  * **February 17**
 +    * [[http://​portal.acm.org/​citation.cfm?​id=365257 | The Next 700 Programming Languages]],​ Peter Landin, CACM 1966.
 +  * Some papers on the stack
 +    * [[http://​www.sciencedirect.com/​science?​_ob=ArticleURL&​_udi=B6V1G-46922HH-3&​_user=4428&​_rdoc=1&​_fmt=&​_orig=search&​_sort=d&​_docanchor=&​view=c&​_searchStrId=1165370930&​_rerunOrigin=google&​_acct=C000059601&​_version=1&​_urlVersion=0&​_userid=4428&​md5=d2223071def57aafec533efc284f39bf|Call-by-name,​ call-by-value and the λ-calculus]],​ Gordon Plotkin, Theoretical Computer Science 1975.
 +    * [[http://​citeseerx.ist.psu.edu/​viewdoc/​download?​doi=10.1.1.110.5892&​rep=rep1&​type=pdf | Definitional interpreters for higher-order programming languages]],​ John Reynolds, 1972
 +    * [[http://​www.springerlink.com/​content/​y212341378123031/​ | On the relation between direct and continuation semantics]],​ John Reynolds, 1974
 +    * [[http://​www.cs.tufts.edu/​~nr/​cs257/​archive/​christopher-strachey/​continuations.pdf | Continuations:​ A Mathematical Semantics for Handling Full Jumps]], Christopher Strachey and Christopher Wadsworth, 1974.
 +    * [[http://​delivery.acm.org/​10.1145/​70000/​63445/​cb-p193-hoare.pdf?​key1=63445&​key2=6219362621&​coll=&​dl=acm&​CFID=15151515&​CFTOKEN=6184618|Hints for Programming Language Design]], Tony Hoare, 1974.
 +    * [[http://​www.disi.unige.it/​person/​MoggiE/​ftp/​lics89.pdf | Computational lambda-calculus and monads]], Eugenio Moggi, 1989.
 +    * Meta-object protocols
 +    * Info flow and concurrency
 +    * Higher-order abstract syntax
 +    * Program slicing
 +    * More from Benjamin Pierce'​s [[http://​www.cis.upenn.edu/​~bcpierce/​courses/​670Fall04/​GreatWorksInPL.shtml|collections]]
 +    * [[http://​portal.acm.org/​citation.cfm?​id=1111037.1111045|On Flow-Sensitive Types]]
  
readinggroup/winter10.txt · Last modified: 2014/03/03 19:33 by cschuster