ML
Average customer rating:
- Great intro book.
- Academic? Yes, but that's a good thing
- A decent overview of ML
- Well written and enjoyable.
|
Elements of ML Programming, ML97 Edition (2nd Edition)
Jeffrey D. Ullman
Manufacturer: Prentice Hall
ProductGroup: Book
Binding: Paperback
Software Design
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Information Systems
| Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
Systems Analysis & Design
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Design
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- ML for the Working Programmer
- The Scheme Programming Language, 3rd Edition
- Modern Compiler Implementation in ML
- Concepts in Programming Languages
- The Little MLer
ASIN: 0137903871 |
Book Description
<B></B> Written by a well-known computer science education and researcher. No previous knowledge of ML or functional programming is assumed. <B></B> This is the first book that offers BOTH a highly accessible, step-by-step introductory tutorial on ML programming and a complete reference to, and explanation of, advanced features. The author uses a wide variety of digestible program examples to bring the reader along at a reasonable pace. More sophisticated programs and advanced concept topics balance out a book that is usable in a number of courses and settings for either self-study or class discussion.
Customer Reviews:
Great intro book........2007-03-11
Examples and exposition are overall great. Jokes are clever and the tone is light through the book. It reads much like the Perl book by Lary Wall. It hits topics a bit slower than SICP. The biggest problem with this book is it left me felling "Ok, I know the syntax/semantics, now what?" This is a common problem with intro to programming books, and I don't fault it too much for that.
The biggest weakness of this book in my opinion is it didn't strongly teach a "style" that I can adopt into my own programs (but then, no FP programming book I've ever read does). It did great teaching functional programming, but as with most intro-to-fp books forgot that real programs don't fit in one file and are several thousand lines of code.
Sean
Academic? Yes, but that's a good thing.......2005-01-18
I appreciate the consistency of exposition, especially when explaining recursion of execution and recursive datatypes using basis and induction cases. It's a book for those who are interested in the crossover between CS theory and mathematics, but only introductory calculus is necessary (and that's only in one section). If you come from a procedural programming background, as I did, this book is an excellent introduction to the techniques of functional programming. I would recommend reading this in conjunction with ML for the Working Programmer by Paulson. If you are looking for a gentler introduction to functional languages, like LISP and its sister Scheme, try The Little Schemer by Friedman and Felleisen.
A decent overview of ML.......2004-02-19
While I find functional programming, and ML/SML in particular to be most annoying, this particular book is helpful in illuminating some key concepts of the paradigm. However, there are certainly sections where complex concepts are either glossed over, or explained in a very confusing manner (take Section 5.3.1, for example, which attempts, in a somewhat confusing manner, the limitations of polymorphic functionality in ML and it's relationship to types. A dense topic to be sure, but also poorly explained.) Additionally, there are some technical errors to be found in the book (eg: things that 'dont work' which really do, incorrect error messages, etc), which I mostly attribute to SML having been updated since the author published the book (not really his fault).
Certain things, ARE however, the author's fault. In particular, he addresses the audience with needlessly confusing 'Basis'/'Induction' definitions for many many things. For example, a binary tree is defined in such a way. This can be incredibly confusing, espcially if one does not already understand the concept of a BT or a BST. While ML/SML is a mathematical language, the author assumes too much formalism in his definitions, enough that the reading feels like reading a thick algorithms book at times (not a pleasant experience). Suggestion to author: Explain things simply instead of trying to coerce definitions into formalisms in which they do not belong (in particular the induction formalism which is very often confusing, use induction only when TRULY needed).
On the whole, ok to learn from, but can be overly verbose in some areas (eg: the belabored explination of all the error messages) , yet unclear in others... (eg: the density of several sections).
Also, as a parting note, there is not too much assumed about the reader, however, it helps to have a broad general computer science knowledge (as well as basic math, eg: calculus) unless you pickup new side-concepts very quickly. For example, in one example, the author uses the trapezoidal approixmation as an illustration of higher order functions. This is well and good, assuming you know calculus. While he does 'explain' the ideas (eg: what a binary search tree IS) if you havent had it presented to you before, you're in too deep.
Important: This is a ACADEMIC book, this is not something to pick up and read, it is far too dry for that. If you're looking for a good learning book, look elsewhere.
Well written and enjoyable........1998-01-24
Although this is an introductory book, I also recommend it to advanced programmers. Concise and well written, it is a joy to read. Programmers who have little knowledge of modern functional languages will benefit immensely from this book. It is a great recreational read.
Average customer rating:
- Very Worthwhile
- Completely mistitled
- a good book, but it wasn't compelling for me
- Good introductory book with some advanced chapters
|
ML for the Working Programmer
Lawrence C. Paulson
Manufacturer: Cambridge University Press
ProductGroup: Book
Binding: Paperback
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
General
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- Modern Compiler Implementation in ML
- Elements of ML Programming, ML97 Edition (2nd Edition)
- The Standard ML Basis Library
- Purely Functional Data Structures
- Programming in Prolog: Using the ISO Standard
ASIN: 052156543X |
Book Description
The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g. polynomial arithmetic and new ways of treating priority queues. Finally he has completely updated the references. Dr. Paulson has extensive practical experience of ML, and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. He includes many illustrative and practical examples, covering sorting, matrix operations, and polynomial arithmetic. He describes efficient functional implementations of arrays, queues, and priority queues. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. A chapter is devoted to formal reasoning about functional programs. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML for students at all levels.
Customer Reviews:
Very Worthwhile.......2005-03-07
If you are looking for a book that will help extend your professional qualifications this is not it. However if work through this book you will emerge with much stronger programming skills in any programming language and gain some important insights in to writing intelligent programs.
The book teaches Standard ML. Standard ML is a clean, modern, strongly typed, functional programming language. Some SML compilers generate code that ranks among the best for higher level languages. Standard ML comes out of a community that has been interested in developing logical theorem provers and tools for formal analysis of programs. Don't let this scare you away -- any reasonably bright programmer should be able to follow Paulson's explanations.
The book provides an accessible introduction to programming with recursive functions, higher order functions (functions that process functions) and working with a language with polymorphic types (a little like C++'s templates but the compiler figures out the types). This is as much a book on algorithms and data structures from a functional point of view as it is a book on Standard ML.
I especially like the book's development of more advanced examples in the last two chapters. These have to do with writing programs that implement some key ideas in logic and computability theory. These were easy to follow even for a non-expert. I have a strong interest in how programs can be made to reason and learn and so these were really interesting.
Completely mistitled.......2004-06-02
This book is not bad; the explanation of all that it does explain is very good. It's just somewhat impractical, especially given the name; the title is a terrible misnomer for a book whose major example projects involve a lambda calculus evaluator and a proof assistant for first-order logic (not exactly the sort of thing "working" programmers usually have to do!). It does have some pretty solid demonstrations of how to implement various useful data structures and algorithms in SML (e.g. trees), but no "real-world" projects.
The problem with this book is typical of the problem facing a lot of introductory material for many of the more academic languages-- they explain the theory behind the language very well and how the features work, but they don't really teach you how to organize programs in the language, stuff like what code to put in what file, when to use modules and functors, etc. If you cut your teeth in imperative OOP like I did, reading this book you might get to understand the features of this language, but without still being clear about how one would go about writing an actual program in it.
Still, this is a book worth owning.
a good book, but it wasn't compelling for me.......2000-12-08
I have no doubt this is a well-written book (I read it in its entirety). Unfortunately, the examples weren't compelling to me at all. While the lambda calculus interpreter was interesting, the time spent on the theorem prover was not very interesting (I wonder if it was added as an homage to ML's legacy??).
Overall, I suppose this book is a little dated.
Good introductory book with some advanced chapters.......1999-12-09
If you want to know something about ML, but learn it through good examples and interesting problems. This is the book! Also has some neat chapters on automated theorem proving, logic and interpreters.
Average customer rating:
- Should have been in OCaML dialect
- This little book opened a very big window in my thinking
- Simplistic Introductory Text
- Dont like
- marvelous!
|
The Little MLer
Matthias Felleisen , and Daniel P. Friedman
Manufacturer: The MIT Press
ProductGroup: Book
Binding: Paperback
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
General
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- The Reasoned Schemer
- The Little Schemer - 4th Edition
- The Seasoned Schemer
- ML for the Working Programmer
- Elements of ML Programming, ML97 Edition (2nd Edition)
ASIN: 026256114X |
Book Description
with a foreword by Robin Milner
and drawings by Duane Bibby
Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of programming and on programming languages. In addition, ML has emerged as a natural language for software engineering courses because it provides the most sophisticated and expressive module system currently available.
Felleisen and Friedman are well known for gently introducing readers to difficult ideas. The Little MLer is an introduction to thinking about programming and the ML programming language. The authors introduce those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction. Most important, they help the reader to think recursively with types about programs.
Customer Reviews:
Should have been in OCaML dialect.......2007-04-15
I bought this as an aid to learn more about functional programming, in an effort to learn OCaML. While the book does include a useful translation table for OCaML, it is, in fact, written with Standard ML as its syntax. While none of the ML dialects are presently particularly popular, I am pretty sure OCaML and the coming Microsoft OCaML variant, F#, are the dominant dialects, and as such this book should probably be written for people who use these dialects.
The book isn't useful for actually learning a language in detail anyway, but it is useful for learning the functional paradigm (I had originally heard of it in learning lisp). It is written in a socratic dialog fashion that many will find annoying, but which I found useful. It is a step by step manual for understanding certain important things. If you don't take all the steps, the book won't work for you.
One thing I will say against it; I do not think the book is useful to own. If you can't spend the money for something you'll effectively throw away after you use it, you should probably seek it out in the library, or borrow a copy for a friend. This book isn't a reference; it is a process. That said, it is also a classic; if you write code, you should probably have gone through this book either in ML form, or in its Lisp or Scheme version. Most people have many books on their shelves which they have never read. If you read a good fraction of this one, it is money well spent.
This little book opened a very big window in my thinking.......2006-12-30
At first glance this book is an enigma. The Socratic dialog brings back pleasant memories of "Godel, Escher, Bach" but as a programmer with thirty years of experience I was tempted to turn to a more comprehensive reference work.
I am glad I didn't. I disciplined myself to read every word and actually try every exercise, instead of skimming the material. I think this was vital. As I immersed myself in ML's world, I found myself starting to "think in types."
Had I simply skimmed the material, I'm sure I would have ended up learning how to write Ruby or Scheme programs in ML, rather than learning how to write ML programs in ML. Yes, a reference work will be the next step. But The Little MLer did a wonderful job of getting me to leave the comfort of my preconceptions about how to program and see things in a new light.
I wouldn't go as far as to say this book's revelations are on par with classics like "Structure and Interpretation of Computer Programs", but I would say that this little book opened a very big window in my thinking.
Simplistic Introductory Text.......2001-09-15
The Little MLer takes the Socratic method to the extreme. The book is laid out in two columns, basically a question and an answer, and that's it. The authors make light of their subject matter, which can be entertaining, but the format definitely kills its utility as a reference. The one-page index is not very helpful. The book does take a dramatic turn in complexity around page 81, just short of the halfway point (in a book full of white space, mind you), when the truly useful fundamentals of functional programming are finally taken up, so that the reader with prior experience no longer feels coddled. It would make this book so much more useful if the authors included a reference section at the end, perhaps with the definitions of the SML '97 basis library, with which a professional can now do real-world application programming. This is a nice and at times fun introduction to ML that gives the reader a hint as to the true power and complexity of functional programming, but buyers should be aware THIS WILL NOT BE THE ONLY ML BOOK YOU WILL NEED.
Dont like.......2000-03-03
This book treats the reader as a child. Anyone with any programming experience(including VB), would be better suited reading a book about LISP or Scheme.
marvelous!.......1999-05-29
This is an excellent little book that will subvert your programming style (for the better) if you read it at all closely. It teaches quite a bit about ML programming (and indeed functional programming in general) in small snippets.
Highly recommended for experienced programmers and novices alike.
Average customer rating:
- How language definitions should be done
- Cryptic
- BECOME the language!
|
The Definition of Standard ML - Revised
Robin Milner , Mads Tofte , Robert Harper , and David MacQueen
Manufacturer: The MIT Press
ProductGroup: Book
Binding: Paperback
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
General
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- The Standard ML Basis Library
- Types and Programming Languages
- ML for the Working Programmer
- Modern Compiler Implementation in ML
- Purely Functional Data Structures
ASIN: 0262631814 |
Book Description
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.
One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.
In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation.
The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.
Customer Reviews:
How language definitions should be done.......2007-06-17
This book is a lesson to programming languages everywhere. The language definition is succinct, accurate, and to the point. Anyone who has attempted to penetrate such documents as the ANSI C or C++ standard is met with hundreds of pages of ambiguous, confusing language, about which formal reasoning is next to impossible. By contrast, this book describes the language syntax and semantics in a precise, mathematical style, making actual implementation of the language straightforward, as well as providing a usable definition for reasoning about the correctness of implementations. This is an example of how language definitions should be done.
Cryptic.......2006-11-22
This book was apparently written by Math PHDs for use by Math PHDs. I found it to be pretty impenetrable. With this sort of language report, and the shortage of "how to" books for beginners, SML is probably doomed to obscurity, which is unfortunate.
BECOME the language!.......2000-06-05
To explain it in the words of the authors: "The keystone of the method [used to define Standard ML in this book], then, is a certain kind of assertion that takes the form B |- P => M and may be pronounced: 'Against the background B, the phrase P evaluates to the meaning M.' The formal purpose of this Definition is no more, and no less, than to decree exactly which assertions of this form are true."
Standard ML is a very powerful language because of the abilities it grants and the restrictions it enforces. While reading this book will not teach you SML, it will help reinforce its subtle elegance. If you have developed an infatuation with this language, you will not be able to resist the only book that truly contains it.
While not necessary to enjoy this volume, a prerequisite to have any understanding of its contents is some sort of background in type theory and mathematical logic that a course like this one taught by Harper... can only begin to provide.
And remember, ML loves you!
Average customer rating:
- One of the better compiler texts
- Good Information Masked by Bad Editting
- Good, but not an introduction to either compilers or ML
- Not good as a first book on compilers
- Amazingly tough book to use
|
Modern Compiler Implementation in ML
Andrew W. Appel
Manufacturer: Cambridge University Press
ProductGroup: Book
Binding: Paperback
Compilers
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
General
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- ML for the Working Programmer
- Advanced Topics in Types and Programming Languages
- Elements of ML Programming, ML97 Edition (2nd Edition)
- The Definition of Standard ML - Revised
- The Little MLer
ASIN: 0521607647 |
Book Description
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual C header files. The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies.
Customer Reviews:
One of the better compiler texts.......2006-07-04
This book covers a remarkably broad territory of compiler issues, with a good balance of clarity and depth. It spends long enough on each topic to work through examples of functioning code, but doesn't dwell on any for so long that the reader loses interest. A decent set of variations on language design, runtime organization, and machine architecture are also discussed and implemented.
An important caveat is that readers ought to know some dialect of ML. If not, this book does not teach it; there are alternative renditions of the same text in C and Java, but I have not read them. Apparently many reviewers find those confusing. The java rendition, for example, has many angry reviewers. Possibly disgruntled students who had a hard time with their coursework, possibly people with valid complaints about the text.
All I can say is that I quite enjoyed it, and return to it regularly for its clear presentation, when working with related algorithms.
Good Information Masked by Bad Editting.......2003-11-11
This book has a lot of valuable information with regard to the construction of a compiler, that fact is overshadowed by the amazingly poor editting.
This is supposedly the "first edition reprint with corrections", but it seems like the vast majority of errors are yet to be corrected.
Good, but not an introduction to either compilers or ML.......2002-11-08
Appel explains the structure of a compiler in a very clear and precise fashion, including a lot of quite modern techniques. *However* it is only clear and precise if you have a rough high-level understanding of compilers and a good knowledge of ML beforehand. (If you understand one of the two, it is an excellent book for learning the other but you will need to do some thinking for yourself.)
If you're looking to learn about compilers from the very beginning, buy something else (I liked "Crafting A Compiler" as a starting point). If you're wanting to get a lot more precise about the way you build compilers, buy this book.
Not good as a first book on compilers.......2002-10-28
This book aims at teaching the reader how to write compilers and interpreters. Compared to other books (most notably the Dragon book - Aho, Sethi & Ullman: Compilers - Principles, Techniques and Tools) the structure and organization of the compiler he teaches are better and more in sync with modern compiler research. So although ML is not a language that is used much in practice it is well choosen for teaching compilers.
The first part of the book is intended for undergraduate Computer Science university student and the second part is for graduate students. I have only read the first part and browsed the second part. The first part is founded on the development of a compiler - the Tiger compiler - and that is the main flaw of the book. The Tiger compiler is fairly advanced and it is built up one phase at the time (see the chapter headings in the synopsis). A undergraduate reader who has never read anything about compiler design before will be very confused. The book is good in the way that it presents many good compiler design ideas and I learned some from it, but for me it was not the first book on compiler. I just think that the first part of the book has too steep a learning curve - even if you are proficient with ML, which is an absolute must. Recommended for serious readers who already know something about compiler construction before reading it. For other people I recommend the older but somewhat outdated book: Aho, Sethi & Ullman: Compilers - Principles, Techniques and Tools.
Amazingly tough book to use.......2001-10-15
This book is a textbook that forces you to work on a toy language called Tiger, then take you step by step thru the Lexer, Parser, Semantic Analyzer ... That is good organization; problem is, it purposely omits a lot of details so you have to burn a lot of your time trying to figure out what exactly **he wants** to have in the implementation. That is bad because it can get exceedingly hard, and as what other readers have said, it is very hard to understand what he is trying to say.
Basically, don't buy the book. Go look for something of commercial worth. This book will drive you crazy and make you lose your interest in compilers. The author is making the subject much harder than it actually should be.
If you are a university professor thinking about using this book as a textbook, please spare the souls of your students and rather come up with something reasonably easy to understand. Please. Really. I'm serious.
Ok, I hope I have shed some light for the potential buyers so they'll not buy something to frustrate themselves (horribly).
(Best thing is, he doesn't give you the model solutions to his projects, so you'll be forced to write his programs or give up halfway, no other choices. Not good at all)
Average customer rating:
|
The Universe In Our Body, An Astrological and Spiritual Approach About the Oneness of All Beings
ML. Francke MD
Manufacturer: Trafford Publishing
ProductGroup: Book
Binding: Paperback
Astrology
| New Age
| Religion & Spirituality
| Subjects
| Books
| Chinese
| General
| Horoscopes
| Vedic
General
| New Age
| Religion & Spirituality
| Subjects
| Books
Mental & Spiritual Healing
| New Age
| Religion & Spirituality
| Subjects
| Books
General
| Occult
| Religion & Spirituality
| Subjects
| Books
ASIN: 1553697553 |
Book Description
In this new millennium we are all being moved to open ourselves up to new realities and rediscovering the deeper meaning of old spiritual truths. One of the major spiritual truths is that we are one, since the Divine Spirit resides in all of us. We are not only one on a spiritual, but also on the physical level. Going through the 12 astrological signs, we learn how the structures of the astrological symbols are rediscovered in the form and function of our organs. Simultaneously, the aspects of nature such as trees, the sun and moon are brought into connection with the astrological signs and the body parts. Mountains and rivers become visible through the structure and physiology of our kidneys (Libra). Since we are created in the image of God, the Divine Heart shines within our hearts (Leo) as the sun, the center of our solar system. As we recognize how the planets circle within the body, we suddenly realize that we are the solar system. Through the use of positive affirmations, we learn to apply and appreciate all these aspects within our beings. This book will empower you to see who you truly are, a spark of the Divine in a human body, resembling the universe.
"In this wonderful book, ML. Francke has made the anatomy and physiology of the human body understandable to everybody. She has found the words to explain in a clear way the relationship between the astrological signs and their representation in our bodies. ML. Francke also gives us insight into astronomy, as well as Western and Eastern medicine, thanks to her extensive knowledge in all these fields. This book is unique, as it reveals that there are no good or bad zodiacal signs, but that we need all of them to progress in this world. This book is clearly structured; it is solid knowledge based, and it is a book also for people not familiar with astrology. It is an accessible "oevre d'art," a great tidbit to read. One thing that characterizes masterpieces is simplicity. With this book, you are now holding such a work in your hands."
-Rita Keller MD
Average customer rating:
|
Concurrent Programming in ML
John H. Reppy
Manufacturer: Cambridge University Press
ProductGroup: Book
Binding: Hardcover
Parallel Computing
| System Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
General
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- Purely Functional Data Structures
- ML for the Working Programmer
- The Standard ML Basis Library
- Practical OCaml
- Programming in Haskell
ASIN: 0521480892 |
Book Description
Concurrent Programming ML (CML), included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This practical, "how-to" book focuses on the use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in CML, the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.
Customer Reviews:
Buy this book!.......2002-03-04
This is a book on Concurrent ML by the man who invented it. With so little CML information available on the web, this book has been one of the best investments I've made in years. Reppy starts off with a review of concurrency theory and then illustrates programming in CML through big, real-world examples. Throughout the book, he explains the motivation behind his design decisions. You end up with a clear picture of concurrent programming in a functional language -- concurrent programming in a REAL language like ML ...
Average customer rating:
|
The Standard ML Basis Library
Manufacturer: Cambridge University Press
ProductGroup: Book
Binding: Paperback
General
| Algorithms
| Programming
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
General
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- ML for the Working Programmer
- The Definition of Standard ML - Revised
- Concurrent Programming in ML
- Purely Functional Data Structures
- Elements of ML Programming, ML97 Edition (2nd Edition)
ASIN: 0521794781 |
Book Description
SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.
Download Description
This volume describes the Standard ML (SML) Basis Library, the standard library for the SML Language. For programmers using SML, it provides a complete description of the library's modules, types and functions, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, offering manual pages with concise descriptions. In addition, the chapters present the principles and rationales used in designing the library, and relates these to idioms and examples for using it. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface.
Average customer rating:
- An instructional compilation of basic strategies and techniques to be heard when expressing verbal proclamations and sermons
|
Stop Reading and Start Proclaiming! (ML Ministry)
Douglas Leal
Manufacturer: Resource Publications (CA)
ProductGroup: Book
Binding: Paperback
General
| Education
| Christianity
| Religion & Spirituality
| Subjects
| Books
Ministry
| Ministry & Church Leadership
| Christianity
| Religion & Spirituality
| Subjects
| Books
General
| Religion & Spirituality
| Subjects
| Books
Similar Items:
- Celebrating Good Liturgy: A Guide To The Ministries Of The Mass
- United States Catholic Catechism for Adults
- The Catholic Study Bible Second Edition
ASIN: 0893906301 |
Customer Reviews:
An instructional compilation of basic strategies and techniques to be heard when expressing verbal proclamations and sermons.......2006-04-07
Stop Reading And Start Proclaiming by professional actor, director and management consultant Douglas Leal is an instructional compilation of basic strategies and techniques to be heard when expressing a verbal proclamations and sermons to groups in private or public settings. with it's easy-to-follow format, Stop Reading And Start Proclaiming consist of an introduction and ten chapters devoted: Working on Storytelling; Working on Preparing the Text; Working on Voice; Working on Physicalization; Working on Intention; Working on Emotion; Working on Being Real; Working on Stage Fright and Other Annoyances; Putting It All Together; and Living the Word with Your Life. Stop Reading And Start Proclaiming is very highly recommended to all clergy and laity searching for an effective and "user friendly" workbook that will potentially make their speeches and oral presentations truly accomplished when proclaiming Scripture.
Average customer rating:
- Surprisingly readable, given the subject matter.
|
Compiling with Continuations
Andrew W. Appel
Manufacturer: Cambridge University Press
ProductGroup: Book
Binding: Hardcover
Compilers
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Operating Systems
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
General
| Computer Science & Information Systems
| New & Used Textbooks
| Stores
| Books
Programming Languages
| Computer Science & Information Systems
| New & Used Textbooks
| Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
Similar Items:
- A Practical Introduction to Denotational Semantics (Cambridge Computer Science Texts)
- Beautiful Code: Leading Programmers Explain How They Think
- Types and Programming Languages
- Advanced Topics in Types and Programming Languages
- Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)
ASIN: 0521416957 |
Book Description
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler for the programming language Standard ML. Prior knowledge of ML, however, is not necessary, as the author carefully explains each concept as it arises. This is the first book to show how concepts from the theory of programming languages can be applied to the production of practical optimizing compilers for modern languages like ML. All the details of compiling are covered, including the interface to a runtime system and garbage collector.
Customer Reviews:
Surprisingly readable, given the subject matter........1999-06-19
This is a very nice little book, and I found it to be surprisingly readable. The book is nicely written. Standard ML is used to illustrate the technique of compiling a functional language using continuations as the primary intermediate representation. Lack of familiarity with ML is not particularly burdensome. I would like to have seen more discussion of other languages, though (Scheme?).
Programming Book:
- Modula-2
- Modula-3
- Oberon
- Occam
- OpenGL
- Parallel Languages
- Pascal
- Perl
- PostScript
- PowerBuilder
Programming Book
Programming Book