Background
Stark, William Richard was born on April 28, 1945 in Lexington, Kentucky, United States. Son of William John and Anna Elizabeth (May) Stark.
- Photos
- Works
- Photos
- Works
book
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
(Here is a presentation of LISP which is both practical an...)
Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance of LISP's approach to artificial intelligence are discussed. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP's exceptional power, and much more. The material has been designed to appeal to a variety of readers, from the bright freshman to the practicing professional, and from computer scientists and mathematicians to chemists, engineers, and philosophers.
http://www.amazon.com/gp/product/038797072X/?tag=2022091-20
William Richard Stark
Edit Profileeducator research mathematician
Education
Bachelor of Science in Mathematics and Physics, U. Kentucky, 1968; Doctor of Philosophy Mathematics & Computer Science, University of Wisconsin, 1975.
Career
Research instructor mathematics Department, University Texas, Austin, 1974-1977;
assistant professor mathematics department, San Jose (California) State University, 1977-1978;
senior member technical staff, American Telephone & Telegraph Company Bell laboratories, Whippany, New Jersey, 1984-1985;
associate professor math Department, University South Florida, Tampa, 1978-1984, 85-;
department chairman mathematics, U. South Florida, Tampa. President Xanadu Computer Access, Inc., Tampa, 1980-1984. Associate director Institute.for Constructive Mathematics Tampa, since 1987.
Consultant in computing United States Army CECOM, Fort Monmouth, New Jersey. Speaker various professional groups.
Achievements
Works
book
-
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
(Here is a presentation of LISP which is both practical an...)
-
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
Membership
Member American Mathematics Society, Mathematics Association American, Association Computing Machinery, Union of Concerned Scientists, New York Academy Sciences.
Interests
Connections
Married Judy Kay Ingrao, May 11, 1968. 1 child, Christopher Jon.
