School of Computer Science; Carnegie Mellon University
SVM HeaderParse 0.2
Pittsburgh, PA 15213
SVM HeaderParse 0.1
This is a description of the programming language Forsythe, which is a descendant of Algol 60 intended to be as uniform and general as possible, while retaining the basic character of its progenitor. This document supercedes Report CMU--CS--88--159, "Preliminary Design of the Programming Language Forsythe" . c fl1996 John C. Reynolds Research suuported by National Science Foundation Grant CCR-9409997. Keywords: Forsythe, Algol-like languages, Algol 60, intersection types 1. Introduction In retrospect, it is clear that Algol 60 [2, 3] was an heroic and surprisingly successful attempt to design a programming language from first principles. Its creation gave a formidable impetus to the development and use of theory in language design and implementation, which has borne rich fruit in the intervening thirty-six years. Most of this work has led to languages that are quite different than Algol 60, but there has been a continuing thread of concern with languages that retain the essentia...