This is an old revision of the document!
====== Programming Language Concepts ====== [[https://mycourses.rit.edu/d2l/home/611444 | Mycourses Webpage]] **Instructor:** [[https://www.cs.rit.edu/~hh/|Hossein Hojjat]] **Email:** hh at cs rit edu ** Office hours (GOL-3545):**\\ * Tu 11am – 12am * Th 11am - 12am * Fr 4pm - 5pm **Lectures:** MoWeFr 10:00AM-10:50AM (GOL-2590) **Description & Policies:**\\ [[https://www.rit.edu/academicaffairs/tigerterms/programming-language-concepts-0|Course Description]]\\ [[https://www.cs.rit.edu/SemesterConversion/common.html|CS Common Course Policies]]\\ [[plc16:grading_policies|Grading Policies]]\\ [[plc16:assignment_policies|Assignment Policies]] **Acknowledgements:**\\ Portions of this course material based upon similar courses offered at Tufts University (Norman Ramsey, Samuel Guyer, Kathleen Fisher). === Book:=== [[http://www.cs.tufts.edu/~nr/build-prove-compare/| Programming Languages: Build, Prove, and Compare]] ===== Course Materials ===== ==== Week 1 ==== | Monday 08/22 | [[plc16: Lecture 1| Lecture 1: Introduction]] | | Wednesday 08/24 | [[plc16: Lecture 2| Lecture 2: Imperative Core Language]] | | Friday 08/26 | [[plc16: Recitation 1| Recitation 1: Impcore Programming]]| [[plc16:assignment_1|Assignment 1]] ==== Week 2 ==== | Monday 08/29 | [[plc16: Lecture 3| Lecture 3: ImpCore: Operational Semantics (Part 1)]] | | Wednesday 08/31 | [[plc16: Lecture 4| Lecture 4: ImpCore: Operational Semantics (Part 2)]] | | Friday 09/01 | [[plc16: Lecture 5| Lecture 5: Theory and Meta-Theory]] | ==== Week 3 ==== | 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]]| | Friday 09/09 | [[plc16: Lecture 6| Lecture 6: Introduction to Scheme]]| [[plc16:assignment_2|Assignment 2]] ==== Week 4 ==== | Monday 09/12 | [[plc16: Lecture 7| Lecture 7: Equational Reasoning & Algebraic Laws]] | | Wednesday 09/14 | [[plc16: Recitation 3| Recitation 3: Scheme Programming (Recursion)]] | | Friday 09/16 | [[plc16: Lecture 8| Lecture 8: First-class Functions]] | ==== Week 5 ==== | Monday 09/19 | [[plc16: Lecture 9| Lecture 9: Higher-order Functions for Lists]] | | 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]] | [[plc16:assignment_3|Assignment 3]] ==== Week 6 ==== | Monday 09/26 | [[plc16: Lecture 11| Lecture 11: ML Overview]] | | Wednesday 09/28 | [[plc16: Lecture 12| Lecture 12: Algebraic data types]] | | Friday 09/30 | [[plc16: Lecture 13| Lecture 13: Introduction to Type Theory]] | ==== Week 7 ==== Instructor attending [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD16/student-forum.html|FMCAD 2016]].\\ Professor Fluet teaches the course this week (please refer to his [[https://www.cs.rit.edu/~mtf/teaching/20161/plc/notes.html|page]] for material). [[plc16:assignment_4|Assignment 4]] ==== Week 8 ==== | Tuesday 10/11 | [[plc16: Recitation 6| Recitation 6: Monomorphic Type Systems (Typed Impcore)]] | | Wednesday 10/12 | [[plc16: Lecture 16| Lecture 16: Kinding Rules for Polymorphic Types]] | | Friday 10/14 | [[plc16: Lecture 17| Lecture 17: Typed μScheme]] | [[plc16: Assignment 5| Assignment 5]] ==== Week 9 ==== | Monday 10/17 | [[plc16: Recitation 7| Recitation 7: Polymorphic Type Systems (Typed μScheme)]] | | Wednesday 10/19 | [[plc16: Lecture 18| Lecture 18: Introduction to Smalltalk]] | | 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 | [[plc16: Recitation 8| 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 | [[plc16: Recitation 9| 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 | [[plc16: Recitation 10| 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]]