User Tools

Site Tools


plc16:top

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
plc16:top [2016/12/09 09:51]
hossein [Week 16]
plc16:top [2018/11/02 12:32] (current)
hossein
Line 1: Line 1:
-====== Programming Language Concepts ======+====== Programming Language Concepts ​2016 ======
  
 [[https://​mycourses.rit.edu/​d2l/​home/​611444 | Mycourses Webpage]] [[https://​mycourses.rit.edu/​d2l/​home/​611444 | Mycourses Webpage]]
Line 32: Line 32:
 | Monday 08/22 | [[plc16: Lecture 1| Lecture 1: Introduction]] | | Monday 08/22 | [[plc16: Lecture 1| Lecture 1: Introduction]] |
 | Wednesday 08/24 | [[plc16: Lecture 2| Lecture 2: Imperative Core Language]] | | Wednesday 08/24 | [[plc16: Lecture 2| Lecture 2: Imperative Core Language]] |
-| Friday 08/26 | [[plc16: Recitation 1| Recitation 1: Impcore Programming]]|+| Friday 08/26 | Recitation 1: Impcore Programming|
 [[plc16:​assignment_1|Assignment 1]] [[plc16:​assignment_1|Assignment 1]]
  
Line 42: Line 42:
 ==== Week 3 ==== ==== Week 3 ====
 | Monday 09/05 | [[https://​en.wikipedia.org/​wiki/​Labor_Day|Labor Day]] (No class)| | Monday 09/05 | [[https://​en.wikipedia.org/​wiki/​Labor_Day|Labor Day]] (No class)|
-| Wednesday 09/07 | [[plc16: Recitation 2| Recitation 2: Operational Semantics of Impcore]]|+| Wednesday 09/07 | Recitation 2: Operational Semantics of Impcore|
 | Friday 09/09 | [[plc16: Lecture 6| Lecture 6: Introduction to Scheme]]| | Friday 09/09 | [[plc16: Lecture 6| Lecture 6: Introduction to Scheme]]|
 [[plc16:​assignment_2|Assignment 2]] [[plc16:​assignment_2|Assignment 2]]
Line 48: Line 48:
 ==== Week 4 ==== ==== Week 4 ====
 | Monday 09/12 | [[plc16: Lecture 7| Lecture 7: Equational Reasoning & Algebraic Laws]] | | Monday 09/12 | [[plc16: Lecture 7| Lecture 7: Equational Reasoning & Algebraic Laws]] |
-| Wednesday 09/14 | [[plc16: Recitation 3| Recitation 3: Scheme Programming (Recursion)]] |+| Wednesday 09/14 | Recitation 3: Scheme Programming (Recursion) |
 | Friday 09/16 | [[plc16: Lecture 8| Lecture 8: First-class Functions]] | | Friday 09/16 | [[plc16: Lecture 8| Lecture 8: First-class Functions]] |
  
Line 54: Line 54:
 | Monday 09/19 | [[plc16: Lecture 9| Lecture 9: Higher-order Functions for Lists]] | | Monday 09/19 | [[plc16: Lecture 9| Lecture 9: Higher-order Functions for Lists]] |
 | Wednesday 09/21 | [[plc16: Lecture 10| Lecture 10: Continuations,​ µScheme Semantics]] | | Wednesday 09/21 | [[plc16: Lecture 10| Lecture 10: Continuations,​ µScheme Semantics]] |
-| Friday 09/23 | [[plc16: Recitation 4| Recitation 4: Higher-Order Functions and Operational Semantics]] |+| Friday 09/23 | Recitation 4: Higher-Order Functions and Operational Semantics |
  
 [[plc16:​assignment_3|Assignment 3]] [[plc16:​assignment_3|Assignment 3]]
Line 70: Line 70:
  
 ==== Week 8 ==== ==== Week 8 ====
-| Tuesday 10/11 | [[plc16: Recitation 6| Recitation 6: Monomorphic Type Systems (Typed Impcore)]] |+| Tuesday 10/11 | Recitation 6: Monomorphic Type Systems (Typed Impcore) |
 | Wednesday 10/12 | [[plc16: Lecture 16| Lecture 16: Kinding Rules for Polymorphic Types]] | | Wednesday 10/12 | [[plc16: Lecture 16| Lecture 16: Kinding Rules for Polymorphic Types]] |
 | Friday 10/14 | [[plc16: Lecture 17| Lecture 17: Typed μScheme]] | | Friday 10/14 | [[plc16: Lecture 17| Lecture 17: Typed μScheme]] |
Line 77: Line 77:
  
 ==== Week 9 ==== ==== Week 9 ====
-| Monday 10/17 | [[plc16: Recitation 7| Recitation 7: Polymorphic Type Systems (Typed μScheme)]] |+| Monday 10/17 | Recitation 7: Polymorphic Type Systems (Typed μScheme) |
 | Wednesday 10/19 | [[plc16: Lecture 18| Lecture 18: Introduction to Smalltalk]] | | Wednesday 10/19 | [[plc16: Lecture 18| Lecture 18: Introduction to Smalltalk]] |
 | Friday 10/21 | [[plc16: Lecture 19| Lecture 19: Smalltalk (inheritance,​ block) ]] | | Friday 10/21 | [[plc16: Lecture 19| Lecture 19: Smalltalk (inheritance,​ block) ]] |
Line 83: Line 83:
 ==== Week 10 ==== ==== Week 10 ====
 | Monday 10/24    | [[plc16: Lecture 20| Lecture 20: Smalltalk Collections]] | | Monday 10/24    | [[plc16: Lecture 20| Lecture 20: Smalltalk Collections]] |
-| Wednesday 10/26 | [[plc16: Recitation 8| Recitation 8: Smalltalk Programming]] |+| Wednesday 10/26 | Recitation 8: Smalltalk Programming |
 | Friday 10/28    | [[plc16: Lecture 21| Lecture 21: Introduction to Prolog]] | | Friday 10/28    | [[plc16: Lecture 21| Lecture 21: Introduction to Prolog]] |
  
Line 91: Line 91:
 | Monday 10/31    | [[plc16: Lecture 22| Lecture 22: Lists in Prolog]] | | Monday 10/31    | [[plc16: Lecture 22| Lecture 22: Lists in Prolog]] |
 | Wednesday 11/02 | [[plc16: Lecture 23| Lecture 23: Using Cuts ]] | | Wednesday 11/02 | [[plc16: Lecture 23| Lecture 23: Using Cuts ]] |
-| Friday 11/04 | [[plc16: Recitation 9| Recitation 9: Prolog Programming ​]] |+| Friday 11/04 | Recitation 9: Prolog Programming |
  
 ==== Week 12 ==== ==== Week 12 ====
Line 102: Line 102:
  
 ==== Week 13 ==== ==== Week 13 ====
-| Monday 11/14 | [[plc16: Recitation 10| Recitation 10: Type Inference ​]] |+| Monday 11/14 | Recitation 10: Type Inference |
 | Wednesday 11/16 | [[plc16: Lecture 27| Lecture 27: Control Structures ​ ]] | | Wednesday 11/16 | [[plc16: Lecture 27| Lecture 27: Control Structures ​ ]] |
 | Friday 11/18 | [[plc16: Lecture 28| Lecture 28: Reduction Semantics for Control Structures ​ ]] | | Friday 11/18 | [[plc16: Lecture 28| Lecture 28: Reduction Semantics for Control Structures ​ ]] |
Line 114: Line 114:
  
 ==== Week 15 ==== ==== Week 15 ====
-| Monday 11/28 | [[plc16: Recitation 11| Recitation 11: Control Operators & Reduction Semantics ​]] |+| Monday 11/28 | Recitation 11: Control Operators & Reduction Semantics |
 | Wednesday 11/30 | [[plc16: Lecture 29| Lecture 29: Garbage Collection (Ref. Counting) ]] | | Wednesday 11/30 | [[plc16: Lecture 29| Lecture 29: Garbage Collection (Ref. Counting) ]] |
 | Friday 12/02 | [[plc16: Lecture 30| Lecture 30: Mark-and-Sweep Garbage Collection ]] | | Friday 12/02 | [[plc16: Lecture 30| Lecture 30: Mark-and-Sweep Garbage Collection ]] |
plc16/top.1481295101.txt.gz · Last modified: 2016/12/09 09:51 by hossein