Course Component: Lecture, Laboratory, Tutorial

Prerequisites: CSI 2101, CSI 2120.

• Course Outline (pdf)
• Professor
  Dr. Amy Felty
  SITE 5-068
  afelty@uottawa.ca
  

• Office Hours (Online)
  • Wednesday, 15:00-17:00 (until and including December 16)

• Lectures
  • Lectures will be online and synchronous and delivered via Adobe Connect
  • Wednesday 10:00-11:20
  • Friday, 8:30-9:50

• Laboratory/Tutorial
  • Information about labs and tutorials is available here.
  • LAB Group A01: Monday, 17:30-18:50
  • LAB Group A02: Tuesday, 13:00-14:20
  • LAB Group A03: Friday, 10:00-11:20
  • TUT Group A05: Thursday, 17:30-18:50
  • TUT Group A04: Friday, 16:00-17:20

• Assignments
  • All assignments will be posted directly on Brightspace.
  • Handing in assignments: Assignments must be submitted electronically using your Brightspace account.
  • Late policy: For full credit, the assignment must be handed in by the due date and time. Any late assignments handed in up to 2 days after the due date will have a deduction of 25%. After that, any late assignments handed in up to 4 days after the due date will have a deduction of 50%.
  • Please see the policy on plagiarism.

• Tests/Exams
  • All exams will be online at the scheduled times.
  • Midterm 1 will be held on Saturday, October 17, 14:00-16:00. It will be open book.
  • Midterm 2 will be held on Saturday, November 21, 14:00-16:00. It will be closed book with the exception that you are allowed to refer to: course notes (lecture slides plus notes that you have taken), labs, assignments, textbooks.
  • The final exam is Monday, December 21, 14:00-17:00. It will be closed book with the exception that you are allowed to refer to: course notes (lecture slides plus notes that you have taken), labs, assignments, textbooks. It covers all the material from lectures, labs, tutorials, assignments, and readings.

• Required Textbooks
  • Concepts in Programming Languages, John C. Mitchell, Cambridge University Press, 2003.
    • This textbook will be available through the University of Ottawa Bookstore.
    • Alternatively, an ebook version can be purchased. For example, at this site.
    • I have requested that the university library put an electronic copy on reserve, though I don't know yet if that will be possible.
    • Errata for this textbook
  • Real World OCaml, Yaron Minsky, Anil Madhavapeddy, and Jason Hickey, O'Reilly, 2014. Available on the web.

• Other References
  • Programming Languages: Principles and Paradigms Maurizio Gabbrielli and Simone Martini, Springer, 2010. Available on the web.
  • Programming Paradigms for Dummies: What Every Programmer Should Know, Peter Van Roy, in New Computational Paradigms for Computer Music, G. Assayag and A. Gerzo (eds.), IRCAM/Delatour France, 2009.
  • Concepts, Techniques, and Models of Computer Programming, Peter Van Roy and Seif Haridi, MIT Press, 2004. (An early draft is available online.)
  • Programmation: Concepts, techniques et modèles, Peter Van Roy and Seif Haridi, Dunod Éditeur, 2007. (A shorter French version of the previous book. Will be on reserve at the library.)
  • Concepts of Programming Languages, Robert W. Sebesta, 12th edition, Pearson, 2019.
  • Programming Languages: Principles and Paradigms, Allen B. Tucker and Robert E. Noonan, McGraw Hill, 2nd edition, 2007.

• Course Outline

  This outline is tentative and subject to change as the term progresses. See Brightspace for class notes.

  Topic	Reading (See Required Textbooks and Other Resources)	Date
  An introduction to programming paradigms and concepts	Required: Chapter 1, Mitchell Required: Chapter 13, Gabbrielli and Martini Optional: "Programming Paradigms for Dummies" article	September 9
  An introduction to OCaml	Optional: Real World OCaml, Chapter 1 up to end of "Options" subsection	September 11-16
  Basics of types Simple Data: let declarations and tuples	Optional: Real World OCaml, Chapter 2 up to end of the "Prefix and Infix Operators" subsection	September 16-23
  Inductive Data Types	Optional: Real World OCaml, Chapter 3 first 2 subsections: "List Basics" and "Using Patterns..."	September 23-25
  Polymorphic Higher-Order Programming		September 25-30
  Defining New Data Types		September 30-October 2
  Modules and Abstract Data Types	Optional: Real World OCaml, Chapter 4, subsections: "Signatures and Abstract Types", "Concrete Types in Signatures", "Nested Modules", "Opening Modules"	October 2
  Mutable Data	Optional: Real World OCaml, Chapter 8, from "Mutable Record and Object Fields and Ref Cells" to end of "Modifying the List"	October 7-9
  Syntax and Semantics	Required: Chapter 4, Mitchell (except 4.2.3, 4.2.4, and 4.3)	October 9-21
  Scope, Functions, and Storage Management	Required: Chapter 7, Mitchell	October 21-November 6
  Control in Sequential Languages	Required: Chapter 8, Mitchell	November 6-13
  Concepts in Object-Oriented Languages	Required: Chapter 10, Mitchell Required: Chapters 11 and 12, Real World OCaml	November 18-25
  Combinators, Pipelines, and Scripting in OCaml		November 25-27
  Concurrent and Distributed Programming	Required: Chapter 14, pages 431-441 and 445-448, Mitchell	November 27-December 2
  Axiomatic Semantics	Required: Chapter 3, Section 3.5.3, Sebesta (available on Brightspace)	December 2-4