Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
teaching:cc71y [2018/12/04 06:44] – etanterteaching:cc71y [2018/12/04 06:57] (current) – etanter
Line 28: Line 28:
    * Types and Programming Languages (TAPL), Benjamin Pierce. MIT Press.    * Types and Programming Languages (TAPL), Benjamin Pierce. MIT Press.
    * Semantics Engineering with PLT Redex, Matthias Felleisen et al. MIT Press.    * Semantics Engineering with PLT Redex, Matthias Felleisen et al. MIT Press.
 +   * Practical Foundations for Programming Languages (PFPL), Robert Harper. MIT Press.
    * [[http://www.cis.upenn.edu/~bcpierce/sf/|Software Foundations]] (SF), B. Pierce et al. Online.    * [[http://www.cis.upenn.edu/~bcpierce/sf/|Software Foundations]] (SF), B. Pierce et al. Online.
    * Certified Programming with Dependent Types (CPDT), Adam Chlipala. MIT Press.    * Certified Programming with Dependent Types (CPDT), Adam Chlipala. MIT Press.
-   * Practical Foundations for Programming Languages (PFPL), Robert Harper. MIT Press. 
    * [[http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/plai-2007-04-26.pdf|Programming Languages: Application and Interpretation]] (PLAI), Shriram Krishnamurthi. Online.    * [[http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/plai-2007-04-26.pdf|Programming Languages: Application and Interpretation]] (PLAI), Shriram Krishnamurthi. Online.