Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc71y [2018/12/04 10:41] – etanterteaching:cc71y [2018/12/04 10: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.
  
Line 41: Line 41:
 ** Horario ** ** Horario **
  
-2014/2: 1.4-3.4  +Por definir (dos bloques por semana).
- +
- +
-** Agenda **+
  
-[[teaching:cc71y:2014-2|Agenda 2014/2]]