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.
The home page for the section of 15-212 that is taught using the Standard ML programming language can be found at http://www.cs.cmu.edu/~fp/15-212-ML
Frank Pfenning fp@cs.cmu.edu