plc16:top
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
plc16:top [2016/12/05 11:51] hossein |
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 ]] | | ||
| Line 120: | Line 120: | ||
| ==== Week 16 ==== | ==== Week 16 ==== | ||
| | Monday 12/05 | [[plc16: Lecture 31| Lecture 31: Copying Garbage Collection ]] | | | Monday 12/05 | [[plc16: Lecture 31| Lecture 31: Copying Garbage Collection ]] | | ||
| + | | Wednesday 12/07 | [[plc16: Recitation 12| Recitation 12: Garbage Collection ]] | | ||
| + | | Friday 12/09 | Final Exam Preparation | | ||
| + | |||
plc16/top.1480956717.txt.gz · Last modified: 2016/12/05 11:51 by hossein