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/10/21 12:43]
hossein [Week 9]
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 13: Line 13:
  
 **Lectures:​** MoWeFr 10:​00AM-10:​50AM (GOL-2590) **Lectures:​** MoWeFr 10:​00AM-10:​50AM (GOL-2590)
- 
-**Grades:​**\\ 
-  * 5% : Attendance & Participation (lectures) 
-  * 5% : Attendance & Participation (recitations)  
-  * 10%: Reading Quizzes (≈ 12) 
-  * 65%: Programming Assignments (≈ 8) 
-  * 15%: Final Exam 
  
 **Description & Policies:​**\\ **Description & Policies:​**\\
 [[https://​www.rit.edu/​academicaffairs/​tigerterms/​programming-language-concepts-0|Course Description]]\\ [[https://​www.rit.edu/​academicaffairs/​tigerterms/​programming-language-concepts-0|Course Description]]\\
 [[https://​www.cs.rit.edu/​SemesterConversion/​common.html|CS Common Course Policies]]\\ [[https://​www.cs.rit.edu/​SemesterConversion/​common.html|CS Common Course Policies]]\\
 +[[plc16:​grading_policies|Grading Policies]]\\
 [[plc16:​assignment_policies|Assignment Policies]] [[plc16:​assignment_policies|Assignment Policies]]
  
Line 38: 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 48: 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 54: 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 60: 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 76: 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: μScheme]] |+| Friday 10/14 | [[plc16: Lecture 17| Lecture 17: Typed μScheme]] |
  
 [[plc16: Assignment 5| Assignment 5]] [[plc16: Assignment 5| Assignment 5]]
  
 ==== 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) ]] |
 +
 +==== Week 10 ====
 +| Monday 10/24    | [[plc16: Lecture 20| Lecture 20: Smalltalk Collections]] |
 +| Wednesday 10/26 | Recitation 8: Smalltalk Programming |
 +| Friday 10/28    | [[plc16: Lecture 21| Lecture 21: Introduction to Prolog]] |
 +
 +[[plc16: Assignment 6| Assignment 6]]
 +
 +==== Week 11 ====
 +| Monday 10/31    | [[plc16: Lecture 22| Lecture 22: Lists in Prolog]] |
 +| Wednesday 11/02 | [[plc16: Lecture 23| Lecture 23: Using Cuts ]] |
 +| Friday 11/04 | Recitation 9: Prolog Programming |
 +
 +==== Week 12 ====
 +| Monday 11/07 | [[plc16: Lecture 24| Lecture 24: Type Inference (Examples) ]] |
 +| Wednesday 11/09 | [[plc16: Lecture 25| Lecture 25: Hindley-Milner Type System ​ ]] |
 +| Friday 11/11 | [[plc16: Lecture 26| Lecture 26: Type Inference Rules  ]] |
 +
 +
 +[[plc16: Assignment 7| Assignment 7]]
 +
 +==== Week 13 ====
 +| Monday 11/14 | Recitation 10: Type Inference |
 +| Wednesday 11/16 | [[plc16: Lecture 27| Lecture 27: Control Structures ​ ]] |
 +| Friday 11/18 | [[plc16: Lecture 28| Lecture 28: Reduction Semantics for Control Structures ​ ]] |
 +
 +==== Week 14 ====
 +| Monday 11/21 | [[https://​twitter.com/​RITNEWS/​status/​800687516898693120|Snow Day]] |
 +| Wednesday 11/23 | Thanksgiving Break |
 +| Friday 11/25 | Thanksgiving Break |
 +
 +[[plc16: Assignment 8| Assignment 8]]
 +
 +==== Week 15 ====
 +| Monday 11/28 | Recitation 11: Control Operators & Reduction Semantics |
 +| 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 ]] |
 +
 +==== Week 16 ====
 +| 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.1477068221.txt.gz · Last modified: 2016/10/21 12:43 by hossein