..W

= home page = notes = online text = quotes = buy from iBS = buy from Amazon

Philip Wadler

Functional programming languages, design and implementation. GJ, Pizza, and Java, Erlang, monads, linear logic, call-by-need and call-by-value, type classes, parametricity, deforestation, strictness analysis, language design, and garbage collection.

Klaus Weihrauch

Computable analysis.
[Weihrauch85]	Type 2 Recursion Theory - Theoretical Computer Science 38, pp 17-33, 1985.
[Weihrauch95]	A Simple Introduction to Computable Analysis Informatik-Berichte Nr.171, FernUniversität, Haagen, 2nd edition, 1995.
[Weihrauch95b]	A Foundation of Computable Analysis EATCS Bulletin Number 57 pp 167-182, October 1995.

Joseph Weizenbaum

	Weizenbaum examines computers and society - interview
[Weizenbaum76]	Computer Power and Human Reason - from judgement to calculation; W H Freeman, 1976. ISBN 0716704633

Freek Wiedijk

Mathematics, physics, computing, computer mathematics.
	List of Computer Maths Systems

Edwin Wiedmer

[Wiedmer76] Wiedmer, Edwin;

Exaktes Rechnen mit reellen Zahlen; Eidgenössische Technische Hochschule, Zurich, Institut für Informatik, berichte Nr. 20, Juli 1976.

[Wiedmer77] Wiedmer, Edwin;

Exaktes Rechnen mit reellen Zahlen undt anderen unendlichen Objekten; PhD thesis, Eidgenössische Technische Hochschule, Zurich, 1977, ETH 5975

[Wiedmer80] Wiedmer, Edwin;

Computing with Infinite Objects; Theoretical Computer Science, Volume 10, pp 133-155, 1980

Raymond Wilder

[Wilder65] Wilder, Raymond L.;

Introduction to the Foundations of Mathematics; Second edition, John Wiley & Sons, 1965. O

Margaret L. Wiley

Creative scepticism in 17th century England.
[Wiley52]	The Subtle Knot creative scepticism in 17th century England.

John Noble Wilford

[Wilford85] Wilford, John Noble;

The Riddle of the Dinosaur; Faber and Faber, 1985;

Douglas Pardoe Wilson

Social engineering, supported by, linguistic technology, information retrieval, and combinatorial optimization.
	Social Technology - web site

Ludwig Wittgenstein

Analytic Philosopher
	Humphrey on Kripke, Stanford Encyclopaedia on Private Languages, Brian Carver.
[Wittgenstein21]	Tractatus Logico-Philosophicus Routledge & Kegan Paul, 1974.
[Wittgenstein53]	Philosophical Investigations Second edition, Basil Blackwell, 1974.
[Wittgenstein58]	The Blue and Brown Books Second edition, Basil Blackwell, 1969.
See also:	P.M.S.Hacker

Stephen Wolfram

Mathematica Fundamental issues in science Behavior of cellular automata and other simple computer programs Origins of complexity in nature Design of computer languages History of science and thought Science and technology strategy
[Wolfram88]	The Mathematica Book - A system for doing Mathematics by Computer - Third edition 1996, Cambridge University Press.

Sybil Wolfram

[Wolfram89] Wolfram, Sybil;

Philosophical Logic - An Introduction; Routledge, 1989.

Paul Wong

Various. Including Logic.

Cecil Woodham-Smith

[Woodham-Smith62] Woodham-Smith, Cecil;

The Great Hunger - Ireland 1845-1849; Paperback edition, Penguin Books, 1991.

W. Hugh Woodin

Woodin cardinals. The continuum hypothesis.

Larry Wos

[Wos88] Wos, Larry;

Automated Reasoning - 33 Basic Research Problems; Prentice Hall, 1988. ISBN 0-13-054552-X O

Crispin Wright

Professor of Logic and Metaphysics at the University of St.Andrews. Current research continues his work on Frege's philosophy of mathematics, Wittgenstein's later philosophy and on issues related to truth, realism and objectivity.
[Wright80]	Wittgenstein on the Foundations of Mathematics, Duckworth 1980.	? ?
[Wright99]	A Companion to the Philosophy of Language, with Bob Hale (editors), Blackwell Publishers 1999.

Graham Wrightson

see [Siekmann83a] and [Siekmann83b].

---

© created 1995/03/15 modified 2007/01/29