% -*- LaTeX -*- $Header: reference-material-contents.tex,v 1.2 91/01/09 14:14:09 leavens Exp $
\documentstyle[11pt]{article}
\nofiles
\input{use-full-page}

\begin{document}
\noindent
~
\hfill CS 541 --- Programming Languages 1
\hfill \today \\

\begin{center}
{\huge Course Packet Reference Materials}
\end{center}

The following is the list of reference materials available in the
course packet.

\section{Background}

(Gary Leavens), ``Introduction to the Literature.''

``The Revised$^3$ Report on the Algorithmic Language Scheme.''
{\em SIGPLAN Notices}, Vol. 21, Num. 12, Dec. 1986, pages 37--79.

Handout ``the Lambda Calculus'' from MIT's course 6.821 (Sept 1989).

Handout ``Introduction to Mini-FX'' from MIT

Handout on ``Operational Semantics'' from MIT

\section{Dynamic Semantics}

Handout on ``Naming'' from MIT

Handout on ``State'' from MIT

Handout on ``Control'' from MIT

\section{Functional Programming}

Paul Hudak,
``Conception, Evolution, and Application of Functional Programming Languages,''
{\em ACM Computing Surveys}, Vol. 21, Num. 3, Sept. 1989, pages 359--411.

\section{Object-Oriented Programming}

Kurt N{\o}rmark, ``Simulation of Object-Oriented Concepts and Mechanisms
in Scheme'', University of Aarlborg Technical Report, R 90-01 (Jan. 1990).

\section{Declarative Programming}

Robert Kowalski, ``Algorithm = Logic + Control,''
{\em CACM}, Vol. 22, Num. 7, July 1979, pages 424--436.

\end{document}



