Before diving into the specifics of the 15-312 syllabus, we must understand the three pillars that support the entire discipline:
: Typically requires proficiency in Standard ML (SML) and experience with writing formal proofs. Taking 15-212 (Principles of Programming) is a standard prerequisite. 15312 foundations of programming languages
By the 1960s, the Tower of Babel had been rebuilt—this time with FORTRAN, COBOL, Lisp, ALGOL, and others. No one could agree on what a programming language should be. That’s when a small group of computer scientists began asking a radical question: Before diving into the specifics of the 15-312
Through existential types, we learn how to hide the implementation details of a module, exposing only what is necessary—a formalization of the "information hiding" principle. 15312 foundations of programming languages