The Rice wiki has moved to https://riceuniversity.atlassian.net. NOTE: Please use NetID@rice.edu to log in. Alias email addresses will not work.
This site is read-only and is available for verification purposes only. It will remain active until Thursday, April 30, 2026. For more information visit the KB article on Confluence migration.
COMP 311 / COMP 544: Functional Programming (Fall 2018)
Instructors | Dr. Nick Vrvilo (2σ) Dr. Corky Cartwright | TA | Ryuichi Sai ryuichi@rice.edu |
|---|---|---|---|
Lectures | Duncan Hall 1075 | Lecture Times | 4pm–5:15pm TR |
| Instructor Email | {nick.vrvilo,cork}@rice.edu | Online Discussion | Piazza – Rice Comp 311 |
Grading will be based on your performance on weekly programming assignments. All work in this class is expected to be your own, and you are expected not to post your solutions or share your work with other students, even after you have taken the course. Please read the Comp 311 Honor Code Policy for more details on how you are expected to work on your assignments. There will also be a final exam, as described in the syllabus.
All students will be held to the standards of the Rice Honor Code, a code that you pledged to honor when you matriculated at this institution. If you are unfamiliar with the details of this code and how it is administered, you should consult the Honor System Handbook. This handbook outlines the University's expectations for the integrity of your academic work, the procedures for resolving alleged violations of those expectations, and the rights and responsibilities of students and faculty members throughout the process.
Students with disabilities are encouraged to contact me during the first two weeks of class regarding special needs. Students with disabilities should also contact Disabled Student Services in the Ley Student Center and the Rice Disability Support Services.
Conditional Functions on Ranges, Point Values, and Compound Datatypes
Semantics of Type Checking, Binary Methods, Abstract Datatypes
For Expressions, Monads, The Environment Model of Reduction
Call-by-Name, Environment Model of Type Checking, Generative Recursion
Week | Day | Date | Topic | Work Assigned | Work Due |
|---|---|---|---|---|---|
1 | Tu | Aug 21 | |||
| Th | Aug 23 | Computation by Reduction, Types | Homework 0 | ||
2 | Tu | Aug 28 | |||
| Th | Aug 30 | Programming with Intention, The Design Recipe | |||
3 | Tu | Sep 04 | Conditionals, Functions on Ranges & Point Values, Compound Data | ||
| Th | Sep 06 | Methods, Objects, Grading | Homework 0 | ||
4 | Tu | Sep 11 | Homework 1 | ||
| Th | Sep 13 | |||
5 | Tu | Sep 18 | |||
| Th | Sep 20 | |||
6 | Tu | Sep 25 | Homework 2 | Homework 1 | |
| Th | Sep 27 | |||
7 | Tu | Oct 02 | Type Hierarchy, Variance, Generic Map Function | ||
| Th | Oct 04 | |||
8 | Tu | Oct 09 | Midterm Recess (no classes) | ||
| Th | Oct 11 | Homework 3 | Homework 2 | |
9 | Tu | Oct 16 | Accumulators | ||
| Th | Oct 18 | |||
10 | Tu | Oct 23 | Growing a Language, by Guy L. Steele, Jr. | ||
| Th | Oct 25 | |||
11 | Tu | Oct 30 | |||
| Th | Nov 01 | Homework 4 | Homework 3 | |
12 | Tu | Nov 06 | |||
| Th | Nov 08 | ... | ||
13 | Tu | Nov 13 | |||
| Th | Nov 15 | Homework 5 | Homework 4 | |
| 14 | Tu | Nov 20 | Videos: What to Leave Implicit and Impromptu | ||
| Th | Nov 22 | Thanksgiving Holiday (no classes) | ||
15 | Tu | Nov 27 | |||
| Th | Nov 29 | Course Wrap-up | Homework 5 | ||
| 16 | Tu | Dec 04 | Study Day (no classes) | ||
| F | Dec 07 | Final Exam: 2–5pm in Duncan Hall 1075 |
* Lectures slides not yet updated from last year are marked with an asterisk.
** The place and time of the final exam is set by the registrar. The current scheduling details are available on the registrar's page for this course.