pov - Points of View is a collection of previously-unpublished essays written to celebrate Alan Kay's 70th birthday
Points of View is a collection of previously-unpublished essays written to celebrate Alan Kay's 70th birthday. Twenty-nine luminaries from diverse disciplines contributed original material for this book. We believe this volume will appeal to readers and collectors looking to learn more about Alan through the eyes of his colleagues past and present, or to gain some unique insights into computer sci
historic documents in computer science and engineering
Languages Fortran Fortran Automated Coding System For the IBM 704 the very first Fortran manual, by John Backus, et al., Oct. 1956 Al Kossow has in his manual collection also an IBM 704 manual, if you want to have a look at the machine that this original Fortran language was made for. Also the next IBM manuals are from the collection at his web site, where you can find a number of Fortran manuals,
The Wonderful World of Early Computing
The history of computing spans thousands of years - from the primitive notched bones found in Africa, to the invention of abacus in 2400 BC, to Charles Babbage's Difference Engine in 1883, to the rise of the popularity of Personal Computers (PCs) in the 1970s. For the most part, this timeline is marked by devices that bear little or no resemblance to present-day machines both in form and capabilit
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction David C Keenan, 27-Aug-1996 last updated 10-May-2001 116 Bowman Parade, Bardon QLD 4065, Australia http://users.bigpond.net.au/d.keenan Abstract The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This
Hardly accessible publications in theoretical computer science
A COLLECTION OF HARDLY ACCESSIBLE PUBLICATIONS IN THEORETICAL COMPUTER SCIENCE WITH A HISTORICAL INTEREST On type theory, lambda calculus and explicit substitutions On termination of term rewrite systems On confluence On inference On syntax On type theory, lambda calculus and explicit substitutions The Decision of Equality in Recursive Types, an early proof. Concerning the Syntax of ALGOL 68 by Cl
Good Math, Bad Math : Back to π-Calculus: a better introduction
Search this blog Profile Mark Chu-Carroll (aka MarkCC) is a PhD Computer Scientist, who works for Google as a Software Engineer. My professional interests center on programming languages and tools, and how to improve the languages and tools that are used for building complex software systems. Other Information Recent Posts How Mortgages Turned into a Trillion Dollar DisasterBad Probability and Ec
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Essay - A Stanford Reunion - Artificial Intelligences Early Years - NYTimes.com
CS Unplugged
CiNii - ぷよぷよはNP完全
John McCarthy on Elephant 2000, Lisp, Ruby and the Computer Industry
American Scientist
https://www.cs.chalmers.se/Cs/Research/Logic/book/book.pdf
80 Great sites for those who love to Bake | MRI Technician Training