WorldCat Identities

Reynolds, John C. 1935-

Overview
Works: 16 works in 75 publications in 2 languages and 1,209 library holdings
Genres: Abstracts  History  Software 
Roles: Author, Editor, Other
Publication Timeline
.
Most widely held works by John C Reynolds
Theories of programming languages by John C Reynolds( Book )

18 editions published between 1998 and 2011 in English and held by 421 WorldCat member libraries worldwide

Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and also will appeal to researchers and professionals in designing or implementing computer languages
The craft of programming by John C Reynolds( Book )

13 editions published in 1981 in English and held by 332 WorldCat member libraries worldwide

Algebraic methods in semantics by M Nivat( Book )

11 editions published in 1985 in English and Italian and held by 244 WorldCat member libraries worldwide

RTE : a UNIX library with on-line documentation and sample programs for microwave radiative transfer calculations by John C Reynolds( Book )

2 editions published in 1993 in English and held by 107 WorldCat member libraries worldwide

Contemporary education in perspective by Charles S Gifford( Book )

3 editions published in 1989 in English and held by 51 WorldCat member libraries worldwide

This publication provides a synthesis of contemporary issues and trends identified through a study of articles from selected professional journals. Part 1 presents a summary of historical issues providing a background for the curriculum of United States' schools prior to 1982. Part 2 discusses seven curriculum trends recognized in professional literature published between 1982 and 1987. These trend topics are educational leadership, teacher education, student-school relationships, evaluation and accountability, technological developments, curriculum development and change, and educational climate. For each topic, the book presents an overview, a set of synopses of representative journal articles and a list of suggested readings. The synopses of journal articles offer descriptions of situations and studies relevant to their topics. Appended are an epilogue and 10 references. (Si)
On functors expressible in the polymorphic typed lambda calculus by John C Reynolds( Book )

6 editions published between 1988 and 1990 in English and held by 16 WorldCat member libraries worldwide

Abstract: "Given a model of the polymorphic typed lambda calculus based upon a Cartesian closed category K, there will be functors from K to K whose action on objects can be expressed by type expressions and whose action on morphisms can be expressed by ordinary expressions. We show that if T is such a functor then there is a weak initial T-algebra and if, in addition, K possesses equalizers of all subsets of its morphism sets, then there is an initial T-algebra. These results are used to establish the impossiblity of certain models, including those in which types denote sets and S [goes to] S' denotes the set of all functions from S to S'."
Programming with transition diagrams by John C Reynolds( Book )

4 editions published in 1977 in English and held by 8 WorldCat member libraries worldwide

COGENT : programming manual by John C Reynolds( Book )

1 edition published in 1965 in English and held by 6 WorldCat member libraries worldwide

Syntactic control of interference by John C Reynolds( Book )

3 editions published in 1989 in English and held by 5 WorldCat member libraries worldwide

Preliminary design of the programming language Forsythe by John C Reynolds( Book )

2 editions published in 1988 in English and held by 5 WorldCat member libraries worldwide

Design of the programming language Forsythe by John C Reynolds( Book )

3 editions published in 1996 in English and held by 5 WorldCat member libraries worldwide

Abstract: "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."
On functors expressible in the polymorphic typed lambda calculus by John C Reynolds( Book )

3 editions published between 1988 and 1990 in English and held by 2 WorldCat member libraries worldwide

Polymorphism is not set-theoretic by John C Reynolds( Book )

2 editions published in 1984 in Undetermined and English and held by 2 WorldCat member libraries worldwide

GEDANKEN : a simple typeless language which permits funtional data structures and coroutines by John C Reynolds( Book )

1 edition published in 1969 in English and held by 2 WorldCat member libraries worldwide

Cogent 1.2 operations manual by John C Reynolds( Book )

2 editions published in 1966 in Undetermined and English and held by 2 WorldCat member libraries worldwide

Syntactic control of interference by John C Reynolds( Book )

in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.56 for Contempora ... to 0.94 for On functor ...)

Theories of programming languages
Covers
Alternative Names
Djon Rïnolds

John C. Reynolds Amerikaans informaticus (1935-2013)

John C. Reynolds informaticien américain

John Charles Reynolds informático, físico y profesor estadounidense

Джон Ринолдс

جان سی رینولدز

دجون رىينولدس

ジョン・C・レイノルズ

Languages