|
|
CS 15-212: Fundamental Structures of Computer Science II |
CS 15-212 is the second semester of the Fundamental Structures of Computer Science sequence at Carnegie Mellon University. The goal of the course is to teach high level programming techniques, with an emphasis on abstraction and reasoning about programs. For more information, consult the course syllabus.
This is the home page for the section of 15-212 that is taught using the Standard ML programming language.
Instructor |
Teaching assistants |
Course secretary |
||
|
Frank Pfenning fp@cs WeH 8127, 268-6343 |
Herb Derby derby@cs.cmu.edu WeH 3504, x8-1449 |
Patrick Doane doane@andrew.cmu.edu WeH 3130 |
Matthew Kraai kraai@andrew.cmu.edu WeH 3130 |
Rosemary Hornyak rosemary@cs.cmu.edu WeH 8124, 268-3853 |
| Office hours | ||||
| Thu 1:30-2:30 and by appointment | Tue 3:30-4:30 | Mon 4:30-5:30 | Tue 3:30-4:30 | |
The server you are using was developed by the Fox Project at Carnegie Mellon. The server and the entire TCP/IP protocol stack (down to the device driver) is implemented entirely in an extension of Standard ML.
Frank Pfenning fp@cs