Outline

We will talk about the following topics in the course:

• We will start with a solid introduction to the .

• We will then talk about and .

• is a functional programming language that was first studied by the British. It was picked up later in America, and has now emerged as a standard for introducing certain ideas in programming languages. It was created by Gordon Plotkin. We too will be using in the course. is a practical language based on . There are several versions of . A standardized version owes itself largely to graduates of this class working at Bell Labs,NJ. lovers among the French (there are enough of them to sustain RJR Nabisco). Classic ML is another version.

• Denotational semantics. Initially this went under the name ``scottery'' after its first inventor Dana Scott. The field has matured over the years with substantial contrbutions by several other people. The account of Denotational Semantics that we will study is by Carl Gunter, a student of Scott.

• Imperative programming languages(Polya).

• Logic Programming (Prolog).

• Object Oriented Programming (but we won't promise this)

We may use Nuprl as an entry into Classic ML.