User Tools

Site Tools


plc16:top

This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====== 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) **Grades:**\\ * 5% : Attendance & Participation (lectures) * 5% : Attendance & Participation (recitations) * 10%: Reading Quizzes (≈ 12) * 65%: Programming Assignments (≈ 8) * 15%: Final Exam **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: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: μScheme]] | [[plc16: Assignment 5| Assignment 5]] ==== Week 9 ==== | Monday 10/17 | [[plc16: Recitation 7| Recitation 7: Polymorphic Type Systems (Typed μScheme)]] | | Wednesday 10/18 | [[plc16: Lecture 19| Lecture 18: Introduction to Smalltalk]] |

plc16/top.1476921458.txt.gz · Last modified: 2016/10/19 19:57 by hossein