20-CS-4003-001 Organization of Programming Languages Fall 2017
Procedure for Submitting Solutions

Lambda calculus, Type theory, Formal semantics, Program analysis

  1. Log in to blackboard and enter your section of 20-CS-4003.
  2. Click on Syllabus and Labs.
  3. To view the assignment you are submitting files for, click on "Lab X - ...", where X is the number of the lab assignment and ... is the title of the assignment.
  4. To prepare to submit, click on "Submit lab X solution here", where X is the number of the lab assignment, and attach your files by clicking "Browse My Computer", navigating, and selecting.
  5. Optionally, add comments.
  6. To submit, click on "Submit".