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.


What's New?

Nothing, any more. This is the edition of the course from Fall 1997.

Class material

  • Schedule
  • Final
  • Midterm
  • Syllabus (PostScript)
  • Textbooks
  • Language and programming environment
  • Handouts
  • Assignments

  • Course information

  • Lectures: Tu and Th, 12:00-1:20, Scaife 125
  • Recitations:
  • Section G, 2:30-3:20, Student Center 200 (Patrick Doane)
  • Section H, 3:30-4:20, Student Center 200 (Matthew Kraai)
  • Section I, 2:30-3:20, DH 1209 (Herb Derby)
  • Midterm: Th October 2, 12:00-1:20, Scaife 125
  • Final: Fr December 12, 1:00-4:00, DH 2315

  • Bulletin Boards

  • Official announcements: cmu.andrew.academic.cs.15-212-X.announce
  • Discussion of assignments: cmu.andrew.academic.cs.15-212-X.discuss
  • Submit an article to cmu.andrew.academic.cs.15-212-X.discuss.

  • Teaching Staff

    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

    [ CS 15-212 Home page | schedule | assignments | handouts ]

    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