CMSC 22100/32100: Programming Languages

Lecture Notes and Programs

• Contents
• Lecture 1 (Tuesday, 9/27)
• Lecture 2, (pdf) (Thursday, 9/29)
• Lecture 3((Tuesday, 10/4)

The CR-CK-correspondence illustrated (CK-CR-correspondence.pdf)".

• Lecture 4 (Thursday, 10/6)
• Lecture 5 (Tuesday, 10/11)

  prog_2_2.sml; prog_2_4.sml; prog_2_4.sml

• Lecture 6 (Tuesday, 10/18)

  prog_3_1.sml; prog_3_2.sml; prog_3_3.sml; prog_3_4.sml
  Fun-CBV-tests.sml; Fun-CBN-tests.sml

• Lecture 7 (Tuesday, 10/25)
• Lecture 8 (Tuesday, 11/1)

  prog_4_1.sml
  prog_4_2.sml
  prog_4_3.sml

• Lecture 9 (Thursday, 11/8)
• Lecture 10 (Tuesday, 11/15)
• Lecture 11 (Tuesday, 11/22)

  state-monad.sml

• Lecture 12 (Tuesday, 11/29)
• Exploring Objects (Tuesday, 11/29)

  Marktoberdorf lectures (starting at slides 60, 137)

• Concept Outline

Formatting, Editing, and Unicode Characters

The lectures are currently (mostly) formatted as plain text, but with some use of unicode characters with the UTF-8 encoding. This means that this character encoding must be activated in browsers when viewing the lectures files, or they must be viewed in an editor that can be configured to display UTF-8 characters properly.

The text files were produced in the emacs editor (Aquamacs on a Mac) and the unicode characters were entered using a set of emacs abbreviations contained in the file unicode-abbrevs which can be loaded with the emacs load<\tt> command.