CS320 Concepts of Programming Languages¶
Welcome!
This is the teaching fellow’s page for course CS 320 Concepts of Programming Languages. I will post related material here from time to time so that both students and professor can keep track of the updated info about the lab session. This course will use Piazza as the main source of communication among the class. I shall keep the information between these two sites synchronized. Piazza has the higher priority than this website however. It would be a superset of this site, at least it would contain the notice that something new has been added here. Simply check Piazza first before visiting here and no need to worry about missing a thing.
General Information¶
- Official course page: http://cs-people.bu.edu/lapets/320/
- Piazza: https://piazza.com/bu/fall2014/cs320
- Instructor: http://cs-people.bu.edu/lapets/
- Teaching Assistant: Zhiqiang Ren (Alex)
- Email: aren AT cs DOT bu DOT edu
- Office hour: Wed 4:00 PM - 5:30 PM, Thu 4:30 PM - 6:00 PM, Undergraduate Lab
- Lab Session
- 10:00 - 11:00 Wed (KCB 103)
- 11:00 - 12:00 Wed (KCB 103)
- 12:00 - 13:00 Wed (MCS B23)
- 15:00 - 16:00 Wed (COM 215)
Working With CS Computing Resources¶
See the Getting Started (thanks to Likai) guide for tips on working from home and transferring files over, and for a primer on using Linux. There is no need to follow these instructions if you are familiar with Linux, they are for your reference only. PuTTy is a free SSH and telnet client. If you are a BU student, you can get X-Win32 here.
Contents¶
The contents here will be updated as the course goes on.
- Discussion Session 1
- Discussion Session 2
- Discussion Session 3
- Discussion Session 4
- Discussion Session 5
- Discussion Session 6
- Discussion Session 7: Program Verification
- Discussion Session 8: Type System
- Discussion Session 9: Unification
- Discussion Session 10: Play with Haskell
- Discussion Session 11: Search
- Section 12: Polymorphism