Product Description
Abstract Data Types in Standard ML Rachel Harrison University of Southampton, UK This book presents a thorough treatment of data abstraction within a functional framework. The approach to abstract data types strikes a balance between the theoretical and the practical, stressing the importance of producing reliable, high quality code which is robust and reusable. Exercises are provided, as well as numerous annotated algorithms in Standard ML. Emphasis is placed on the key concepts of specification, modularity and generality. Each chapter shows how to specify, apply and implement generic abstract data types, and the specifications are used to verify and validate the correctness of the implementations. Students of software engineering will find this book particularly attractive—for courses such as advanced programming, program design, algorithms and data structures, and program specification. It will also serve as a useful post-introductory text for courses on functional programming. ... Read more

Customer Reviews (1)

Excellent book
This book is a little gem! I'm using this book for a class I'm taking on algebraic specification of data types.
The author uses Guttag's manner of specifying abstract data types, using signatures/functors. Works through validation and verifications, demonstrating how you can garantee that your code is mathematically sound. SML is almost perfect for that.
The powers for abstraction that SML supports shines through the book, showing how this language can be used, at the very least, for rapid, accurate prototyping, if not outright deployment. Nowdays, claiming SML (or its OO variant - OCaml) is "slow"is very much nonsense.
This is a great complement to your SML programming, functional programming skills, or even a nice set of skills to have for general programming, even if you don't deploy functional languages but want to be able to quickly and correctly specify abstract data types. ... Read more

Product Description
Purchase includes free access to book updates online and a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Atari BASIC is a BASIC interpreter for the Atari 8-bit family of 6502-based home computers. The interpreter originally shipped on an 8 KB cartridge; on later XL/XE model computers it was built in, with an option to disable it, and started when the machines were booted with no other cartridges in place. The complete commented source code and design specifications of Atari BASIC were published as a book in 1983. This marked the first time source code was made available for a commercial language. The output of a small program using GRAPHICS 2 mode. The text says in READY. In the nomenclature of the time when these machines were designed, "K" was taken to mean one kilobyte, so that is how it is expressed here. Similarly, further, on the family of processors use by Atari machines, in the assembly langage "$" introduced a hexadecimal number, or it was suffixed subscripted with its radix, so, for example, "one hundred and twenty-eight" is "12810", "$80", or "8016". If a number is expressed with no radix, decimal (10) is assumed, and a leading 0 does not imply octal. These are used instead of more modern conventions because they appear as such in many of the sources and will be seen often by those using simulators an so forth. The machines that would become the Atari 8-bit family had originally been developed as second-generation games consoles intended to replace the Atari 2600. Ray Kassar, the new president of Atari, decided to challenge Apple Computer by building a home computer instead. This meant Atari needed the BASIC programming language, then the standard language for home computers. Atari did what many of the other home computer companies did: they purchased the source code to the MOS 6502 version of Microsoft 8K BASIC, intending to port it ... More: http://booksllc.net/?id=147581 ... Read more

Product Description

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lübeck, Germany in September 2004.

The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 40 workshop presentations. The papers address current issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues and applications in various contexts.

Product Description

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005.

The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 32 workshop presentations. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages.

Product Description

This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006.

The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 40 workshop presentations. The papers address all current theoretical and methodological issues on functional and function-based languages such as language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, (abstract) interpretation, performance measurements, automatic program generation, debugging and tracing, (abstract) machine architectures, verification, formal aspects, tools and programming techniques, array processing and demos of well working, useable tools and applications in functional languages.

Product Description
Purchase includes free access to book updates online and a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997). Standard ML is a functional programming language with some impure features. Programs written in Standard ML consist of expressions to be evaluated, as opposed to statements or commands, although some expressions return a trivial "unit" value and are only evaluated for their side-effects. Like all functional programming languages, a key feature of Standard ML is the function, which is used for abstraction. For instance, the factorial function can be expressed as: fun factorial n = if n = 0 then 1 else n * factorial (n-1)A Standard ML compiler is required to infer the static type int - ... Read more

Product Description

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.

The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

Product Description
This completely updated second edition illustrates the mathematical concepts that a game programmer would need to develop a professional-quality 3D engine. Although the book is geared toward applications in game development, many of the topics appeal to general interests in 3D graphics. It starts at a fairly basic level in areas such as vector geometry and linear algebra, and then progresses to more advanced topics in 3D game programming such as illumination and visibility determination. Particular attention is given to derivations of key results, ensuring that the reader is not forced to endure gaps in the theory. The book assumes a working knowledge of trigonometry and calculus, but also includes sections that review the important tools used from these disciplines, such as trigonometric identities, differential equations, and Taylor series.

Key Features
* Includes four new chapters: the graphics pipeline, the stencil shadow rendering technique, curves & surfaces, and numerical methods
* Concentrates on key mathematical topics for programming 3D game engines
* Discusses applications in the context of the OpenGL architecture due to its cross-platform nature and long-standing industry acceptance. Sample rendering code is presented using ARB vertex programs and fragment programs
* Selected topics include quaternions, homogeneous coordinates, ray tracing, bump mapping, portal systems, polygonal techniques, shadows, and physics
* Includes exercise sets for use as a textbook

New to This Edition
The following are selected revisions in the second edition:
* A new preliminary chapter that provides a review of the 3D rendering pipeline
* A new chapter containing an advanced discussion of the stencil shadow rendering technique
* A new chapter covering various numerical methods pertinent to 3D graphics programming, including numerical solutions to linear systems, numerical eigenvalue determination, and numerical integration
* A new chapter covering curves and surfaces, including Bézier curves and B-splines
* New discussions of texture filtering, mipmapping, and infinite projection matrices
* Updated lighting method implementations and collision detection techniques
* Additional exercises in all chapters ... Read more

Customer Reviews (14)

Not available for Kindle PC !?!
Disapointing : this ebook doesn't seem to be allowed for Kindle PC.
I was interested to be able to check the book on my desktop machine at work at the same time I would read it from my Kindle...

I strongly recomend for the ones that want to seriously go into game development!
When I received this book I couldn't wait to start reading it. I didn't finish it yet but so far all explanations, mathematical rules are so clear and understandable. It's incredible to model world with usage of equations and numbers. Don't hesitate! Get it. Enjoy.

Little more than an outline
I was disappointed in how little explanations were included in this math book.It seemed more like a dictionary.It was as if someone listed all the math concepts that could be included and then put the list into a hard cover binder.
I did read some of the other reviews thinking I had missed something.One suggested spending a year on the book.But there is so little there.My college book on linear algebra did a much better job of explaining the material.Theorems were explained, samples worked out and 10 to 20 problems were given at the end of each section.This book as 50 problems for the entire book.This book spends eight pages on quaternions.Studying these pages over an extended period of time would not give the understanding you could get from a book like Kuipers' Quaternions and Rotation Sequences.It took 75 pages but one is able to understand the system and how it relates to game programming.
With all the colleges now offering game programming degrees, their must be a book written by someone who is use to explaining the material.That person would know the best way to present the material and could anticipate questions and include the answers in his or her explanations.

a disappointment
the second edition brings a new chapter on the graphics pipeline. Well done, except that it is extremely obscure, for those who already understood the arcanes of the graphics pipeline.
Chapter 5 on "ray tracing": 6 pages on root finding of quadratic, cubic and quartic polynomials;
to compare with Chapter 7: "Visibility determination": The spatial partitioning deserves solely 4 pages.
What's the point on dwelling so much on something that is trivial and botching something that is hard to grasp and of paramount importance ?

One of a kind

As a professional 3D graphics programmer, I can not stress enough the quality of this book. This book covers 3D math fundamentals, algorithms, and it is complete with easy to understand (!) proofs. The math is difficult because there is so many problems to be solved in 3D (and they draw from many different branches of mathematics), but it is written in such a clear way that every topic is made approachable. Unlike esoteric Ph. D papers, you aren't assumed to have any specific knowledge of math idioms or jargon. You simply need a decent grasp of college calculus and trigonometry to make the most of it. There are a few samples too to test your knowledge.

Expect to spend at least a solid year to really make the use of this book. Treat it as you would a two - three semester course in college. During this process, you'll find yourself occasionally wanting to get more practice and referring to a respective book on it.

If you could only own two books for 3D programming, buy this first and buy Ericson's book on collision detection next.

In summary, Eric Lengyel's attention to detail and mastery of 3D math / algorithms really shines and this book is an example of it.



... Read more

Product Description
The proceedings of the Eighth International Workshop (ML91)held at Northwestern U., Evanston, Illinois, in June 1991. All papers contain new work, new results, or major extensions to prior work. Topics include automated knowledge acquisition, computational models of human learning, constructive in ... Read more

Customer Reviews (1)

Great Introduction to SML
I began studying computer science at The University of Copenhagen thissummer (1998). This book was the first one we had to read, since StandardML was the first language we had to learn, and I can indeed recommend thisbook to anyone new to Standard ML. It has many examples giving the reader avery good understanding to the subjects, and is written in a rather simplelanguage (I am from Denmark, so anyone with English as their primarylanguage will not encounter any problems reading this book :-). It startsfrom the very basics of programming in general, and continues through manysubjects such as types, lists, functions, Input/Output, text and loopsending up giving the reader a very useful foundation of Standard MLprogramming. So if you are entirely new to Standard ML and want to learnit, this book will be a great help to you. Sincerely, Kasper Christensen ... Read more

Product Description

Machine Learning has become a key enabling technology for many engineering applications, investigating scientific questions and theoretical problems alike. To stimulate discussions and to disseminate new results, a summer school series was started in February 2002, the documentation of which is published as LNAI 2600.

Product 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.

Foreword and Preface ... Read more

Customer Reviews (5)

Should have been in OCaML dialect
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 whouse 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
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
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
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!
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) insmall snippets.

Highly recommended for experienced programmers andnovices alike. ... Read more

Product Description
Chapters: C, Perl, Fortran, Php, Algol, Pl/i, Ml, B, Common Lisp, Euphoria, Oberon, Modula, Clu, Occam, Plankalkül, A-0 System, Mesa, Kiss, Coral 66, Standard Ml, Grass, Flow-Matic, Mad, Amiga E, Abc, Rapira, Corc, Comal, Algol 68, Windows Powershell, Lasso, Falcon, Visual Basic, Embarcadero Delphi, Algol 60, Ibm Rpg, Visual Foxpro, Yoix, Mythryl, Xharbour, Superpascal, Linoleum, Watfiv, Spark, Ibm Rpg Ii, Freebasic, Information Processing Language, Distributed Application Specification Language, Qbasic, Basic4ppc, Nemerle, Pl/0, Action!, Planc, Foxpro 2, Lansa, Bitc, Nimrod, Glagol, Pcastl, Zonnon, Roadsend Php, Squirrel, Providex, Jal, Karel, Geometric Description Language, Comtran, Natural, Met English, Xpl, Algol W, Hiphop for Php, Pl/m, Boo, Newp, Euclid, Dexterity Programming Language, Autocode, Short Code, Generalized Automation Language, Alma-0, Dibol, Combined Programming Language, Delphi Prism, Chill, Declan Pro, Xpl0, Pearl, Clist, Standard Ml of New Jersey, Fact Computer Language, Alcor, Fargo, Nu, Programming Language for Business, Dartmouth Algol 30, Zeno, Pascal/mt, Speedcoding, Sympl, Pl/c, Gnu Pascal, Small, Nord Programming Language, Prospero Pascal, Elliott Algol, Bon, Sawzall, Lse, Active Oberon, Polymorphic Programming Language, Leap, Zopl, Pl360, Flacc, Kaleidoscope, Dialog Manager, Jako, Formac, Protel, Quiktran, Pl-11. Source: Wikipedia. Pages: 699. Not illustrated. Free updates online. Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Perl is a high-level, general-purpose, interpreted, dynamic programming language. Perl was originally developed by Larry Wall in 1987 as a general-purpose Unix scripting language to make report processing easier. Since then, it has undergone many changes and revisions and become widely popular amongst programmers. Larry Wall continues to oversee development of the core langu...More: http://booksllc.net/?id=23939 ... Read more