Date: Wed, 18 Mar 92 18:03:43 EST
I am making a selection of papers and notes in LATEX format, LATEX macros for
drawing diagrams and various cateory-theoretic notations, and a cumulative
bibliography in BIBTEX format available for anonymous ftp. The papers and
notes are:
"The Coherence of Languages with Intersection Types"
"Preliminary Design of the Programming Language Forsythe"
"Replacing Complexity with Generality: The Programming Language Forsythe"
"Even Normal Forms Can be Hard to Type"
"Types, Abstraction, and Parametric Polymorphism, Part 2"
(with Ma QingMing)
"Syntactic Control of Interference, Part 2"
"On Functors Expressible in the Polymorphic Typed Lambda Calculus"
(with Gordon D. Plotkin)
"Introduction to the Polymorphic Lambda Calculus"
"Semantics as a Design Tool" (class notes)
To access this material, do ftp e.ergo.cs.cmu.edu, with the username as
"anonymous" and your usual user@machine name as a password.
-- John Reynolds