The Scheme Programming Language

Author: R. Kent Dybvig
Editor: MIT Press
ISBN: 9780262541480
Size: 15,51 MB
Format: PDF, Mobi
Read: 856
Download

The thoroughly updated third edition of a popular introductory and reference text forstandard Scheme, with examples and exercises.

The Scheme Programming Language

Author: R. Kent Dybvig
Editor: MIT Press
ISBN: 0262258161
Size: 20,69 MB
Format: PDF, Kindle
Read: 853
Download

Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written for professionals and students with some prior programming experience, it begins by leading the programmer gently through the basics of Scheme and continues with an introduction to some of the more advanced features of the language. The fourth edition has been substantially revised and expanded to bring the content up to date with the current Scheme standard, the Revised6 Report on Scheme. All parts of the book were updated and three new chapters were added, covering the language's new library, exception handling, and record-definition features. The book offers three chapters of introductory material with numerous examples, eight chapters of reference material, and one chapter of extended examples and additional exercises. All of the examples can be entered directly from the keyboard into an interactive Scheme session. Answers to many of the exercises, a complete formal syntax of Scheme, and a summary of forms and procedures are provided in appendixes. The Scheme Programming Language is the only book available that serves both as an introductory text in a variety of courses and as an essential reference for Scheme programmers.

The Scheme Programming Language

Author: R. Kent Dybvig
Editor: Prentice Hall
ISBN: 9780134546469
Size: 10,68 MB
Format: PDF, ePub, Mobi
Read: 947
Download

Basic, no nonsense introduction to the programming language Scheme

The Scheme Programming Language Third Edition

Author: R. Kent Dybvig
Editor:
ISBN:
Size: 10,19 MB
Format: PDF, Kindle
Read: 759
Download


Ieee Standard For The Scheme Programming Language

Author: Institute of Electrical and Electronics Engineers
Editor: Inst of Elect & Electronic
ISBN: 9781559371254
Size: 14,40 MB
Format: PDF, ePub, Docs
Read: 359
Download


The Little Schemer

Author: Daniel P. Friedman
Editor: MIT Press
ISBN: 9780262560993
Size: 11,10 MB
Format: PDF, ePub
Read: 832
Download

"drawings by Duane Bibby" foreword by Gerald J. Sussman "I learned more about LISP from this book than I have from any of the other LISP books I've read over the years. . . . While other books will tell you the mechanics of LISP, they can leave you largely uninformed on the style of problem-solving for which LISP is optimized. The Little LISPer teaches you how to think in the LISP language. . . an inexpensive, enjoyable introduction." -- Gregg Williams, Byte The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both "The Little Schemer" (formerly known as "The Little LISPer" ) and its new companion volume, "The Seasoned Schemer," apart from other books on LISP. The authors' enthusiasm for their subject is compelling as they present abstract concepts in a humorous and easy-to-grasp fashion. Together, these books will open new doors of thought to anyone who wants to find out what computing is really about. "The Little Schemer" introduces computing as an extension of arithmetic and algebra -- things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme, and interesting foods to illustrate these abstract ideas. "The Seasoned Schemer" informs the reader about additional dimensions of computing: functions as values, change of state, and exceptional cases. "The Little LISPer" has been a popular introduction to LISP for many years. It had appeared in French and Japanese. "The Little Schemer" and "The SeasonedSchemer" are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science. Download DrScheme - a graphical environment for developing Scheme programs

Revised 6 Report On The Algorithmic Language Scheme

Author: Michael Sperber
Editor: Cambridge University Press
ISBN: 9780521193993
Size: 15,24 MB
Format: PDF, ePub, Mobi
Read: 105
Download

A series of reports describing the innovative programming language Scheme.

Programming Languages And Systems

Author: Naoki Kobayashi
Editor: Springer Science & Business Media
ISBN: 3540489371
Size: 17,31 MB
Format: PDF, ePub, Docs
Read: 602
Download

This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. The 22 revised full papers presented together with 2 invited talks and 1 tutorial examine foundational and practical issues in programming languages and systems.

Essentials Of Programming Languages

Author: Daniel P. Friedman
Editor: MIT Press
ISBN: 9780262062176
Size: 14,21 MB
Format: PDF, Kindle
Read: 557
Download

This textbook offers an understanding of the essential concepts of programming languages. The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable.

Semantics Of Programming Languages

Author: Carl A. Gunter
Editor: MIT Press
ISBN: 9780262570954
Size: 19,85 MB
Format: PDF, ePub, Mobi
Read: 244
Download

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.