Geometry.Net - Basic_M: Ml Programming


Home - Basic_M - Ml Programming

e99.com Bookstore

Images

Newsgroups

1-20 of 81 1 | 2 | 3 | 4 | 5 | Next 20

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Ml Programming: more books (67)

Elements of ML Programming, ML97 Edition (2nd Edition) by Jeffrey D. Ullman, 1998-01-01

Concurrent Programming in ML by John H. Reppy, 2007-09-17

ML for the Working Programmer by Lawrence C. Paulson, 1996-06-28

Introduction to Programming using SML (International Computer Science Series) by Michael Hansen, Hans Rischel, 1999-07-21

Modern Compiler Implementation in ML by Andrew W. Appel, 2004-07-08

ML With Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)

Programming With Standard Ml (BCS Practitioner) by Colin Myers, Chris Clack, et all 1993-04

Functional Programming Using Standard Ml (Prentice-Hall International Series in Computer Science) by Ake Wikstrom, 1988-10

A Practical Course in Functional Programming Using ML by Richard Bosworth, 1995-03

Applicative High Order Programming: Standard Ml in Practice (Chapman and Hall Computing Series) by S. Sokolowski, 1991-02

The Definition of Standard ML - Revised by Robin Milner, Mads Tofte, et all 1997-05-15

The Standard ML Basis Library

Funktionale Programmierung: in OPAL, ML, HASKELL und GOFER (Springer-Lehrbuch) (German Edition) by Peter Pepper, 2002-09-12

Elements of Ml Programming, Ml97 - 1997 publication by Jffry D.Ullman, 1997

lists with details

Elements Of ML Programming, Second Edition
Elements of ml programming, 2nd Edition (ML97). The second edition (basedon ML97) of Elements of ml programming appeared at the end of 1997.
http://www-db.stanford.edu/~ullman/emlp.html

Extractions: Elements of ML Programming, 2nd Edition (ML97) The second edition (based on ML97) of Elements of ML Programming appeared at the end of 1997. Here is The table of contents Special thanks to referee Matthias Blume and to Luca Cardelli, whose cover design has been carried over from the first edition to the second. Jeffrey D. Ullman
Jeffrey D. Ullman --- Books
For information and backup material, click here . Elements of ml programming.The new edition, covering ML97, is available from PrenticeHall.
http://www-db.stanford.edu/~ullman/ullman-books.html

Extractions: Jeff Ullman: Book Information The venerable Hopcroft-Ullman book from 1979 was revised in 2001 with the help of Rajeev Motwani. It has been made both simpler and more relevant to the programming challenges of today, such as Web search and ecommerce. For the book's Web page, click here: This is a 2002 volume that combines the new A First Course in Database Systems with Database System Implementation . For information and backup material, click here: The first edition (1997) has been followed by a second edition (2002). This book covers database design and implementation. Also note: This book is now the first half of Database Systems: The Complete Book , which you should choose instead if your interests go beyond database applications and include implementation of a DBMS. For information and backup material for either edition, click here:
Programming In Standard ML
Programming in Standard ML Copyright © 1997, 1998, 1999, 2000. All Rights Reserved. This version of the notes is obsolete! The current version is available here.
http://www.cs.cmu.edu/People/rwh/introsml

Extractions: Programming in Standard ML Robert Harper School of Computer Science Carnegie Mellon University Fall, 2000 This version of the notes is obsolete! The current version is available here These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer. They began as lecture notes for 15-212: Fundamental Principles of Computer Science II , the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. They have subsequently been used in several other courses at Carnegie Mellon, and at a number of universities around the world. These notes are intended to supersede my Introduction to Standard ML , which has been widely circulated over the last ten years. The Definition of Standard ML (Revised) by Robin Milner, Mads Tofte, Robert Harper, and David MacQueen (MIT Press, 1997) constitutes the official definition of the language. It is supplemented by the Standard ML Basis Library , which defines a common basis of types that are shared by all implementations of Standard ML. There are several implementations of Standard ML available for a variety of hardware and software platforms.
Programming In Standard ML
Programming in Standard ML. Robert Harper. School of Computer Science. CarnegieMellon University. Fall, 2000. Copyright © 1997, 1998, 1999, 2000.
http://www.cs.cmu.edu/afs/cs/usr/rwh/public/www/introsml/

Extractions: Programming in Standard ML Robert Harper School of Computer Science Carnegie Mellon University Fall, 2000 This version of the notes is obsolete! The current version is available here These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer. They began as lecture notes for 15-212: Fundamental Principles of Computer Science II , the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. They have subsequently been used in several other courses at Carnegie Mellon, and at a number of universities around the world. These notes are intended to supersede my Introduction to Standard ML , which has been widely circulated over the last ten years. The Definition of Standard ML (Revised) by Robin Milner, Mads Tofte, Robert Harper, and David MacQueen (MIT Press, 1997) constitutes the official definition of the language. It is supplemented by the Standard ML Basis Library , which defines a common basis of types that are shared by all implementations of Standard ML. There are several implementations of Standard ML available for a variety of hardware and software platforms.
On-line Information About Standard ML
Jeffrey D. Ullman. Elements of ml programming., 2nd Edition. PrenticeHall,1997. Both books cover Revised Standard ML. Reference Material.
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html
ML Programming Language - Wikipedia
ml programming language. ML (standing for MetaLanguage ) is a functional programminglanguage developed in the early 1980s at Edinburgh University.
http://www.wikipedia.org/wiki/ML_programming_language

Extractions: Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk
Elements Of ML Programming (John's Book Pages)
A short review of Elements of ml programming by Jeffrey D. Ullman Elements of ml programming is not superb in this respect but it is good enough to get the reader through some basic test
http://books.regehr.org/reviews/elementsofmlprogramming.html

Extractions: According to a web page at Bell Labs: Standard ML is a safe, modular, strict, functional, polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types and updatable references, abstract data types, and parametric modules. That's a mouthful, but the upshot is that ML has some of the good features of Pascal-like programming languages such as static typing, some of the good features of Lisp-like languages such as garbage collection and higher-order functions, and some innovative features of its own such as pattern matching and type inferencing. The resulting language is powerful and elegant, but fairly different for those of us used to imperative languages. There's a period of time during the process of learning a new programming language where one writes a couple of small- to medium-sized programs and invariably tries to use an introductory book as a reference manual this is frustrating since it's rare for even a good introductory book to serve as an adequate reference manual. Elements of ML Programming is not superb in this respect but it is good enough to get the reader through some basic test programs, thus minimizing the pain of this already frustrating time and delaying the need to buy a language reference manual.
Standard ML
NEXT · UP · PREVIOUS · CONTENTS · INDEX Standard ML. The Standardml programming language is defined formally. This definition
http://www.dcs.ed.ac.uk/home/stg/NOTES/node4.html

Extractions: NEXT UP PREVIOUS CONTENTS ... INDEX Standard ML The Standard ML programming language is defined formally. This definition is presented as a book of rules [ ] expressed in so-called Natural Semantics, a powerful but concise formalism which records the essential essence of the language while simultaneously abstracting away from the uninformative detail which would inevitably be needed in a programming language implementation. As a comparison, the published model implementation of Standard Pascal [ ] is five times longer than the definition of Standard ML. This is a shocking fact because Standard ML is a much more sophisticated language than Pascal. In these notes we follow the 1997 revision of the language definition. in [ ] suggests that one of the advantages of functional programming is the ability to glue programs together in many different ways. For this, we require the ability to manipulate functions as data. We will pass them as arguments to other functions and even return them as the results of functions. In order for such a powerful mechanism to be exploited to the fullest, the language must provide a means for functions to be defined in a general, re-usable way which allows values of different types to be passed to the same function. As we shall see, Standard ML provides such a feature without compromising the security of the type system of the language. The mechanism by which applicative programs are evaluated is then discussed. This leads into the consideration of alternative evaluation strategies one of which is so-called lazy evaluation. This strategy has a profound effect on the style of programming which must be deployed.
Introduction To The ML Programming Language
Introduction to the ml programming language. Readings for this topicUllman chapters 16 but skipping 3.5, 3.6, chapter 4 on I/O
http://www.cs.jhu.edu/~scott/cw/lectures/sml-intro.html

Extractions: Readings for this topic: Ullman chapters 1-6 but skipping 3.5, 3.6, chapter 4 on I/O, and section 5.2 on exceptions. Standard ML is A language developed by the programming languages research community (Robin Milner; Dave MacQueen;...) Is an "extended functional" language: has imperative features built on a functional core. ( pure functional = no assignment or other mutation operator in language) Has some novel features: type inference, pattern matching, parametric polymorphism, functors (higher-order modules), ... Particularly useful for metaprogramming (writing programs that manipulate programs, e.g. for compilers, interpreters etc). That was original purpose, "ML" = "Metalanguage". Current compilers run too slowly for the language to be feasible for widespread use. It is interactive and environment-based, like Lisp/Scheme/Smalltalk and unlike C/Pascal/C++/Java. Uses implicit storage management like Java/Scheme/Smalltalk: no pointers or explicit memory allocation or de-allocation; garbage collection to automatically free up unwanted space.
The ML Programming Langauge: More Advanced Features
The ml programming langauge more advanced features. A few featuresof ML were skipped in the last pass. Now we fill out the picture.
http://www.cs.jhu.edu/~scott/cw/lectures/sml-advanced.html

Extractions: A few features of ML were skipped in the last pass. Now we fill out the picture. Readings: Chapter 8 and Sections 5.2, 7.2, and 7.3-7.5. This issue is bigger than just the ML language. Modules are large levels of program abstraction: functional units or libraries. Examples: Why? Without modules, you have code soup and CHAOS . The need for modules are only appreciated when a large program is written, small programs are happy being soup. Features of modules The C/C++ module system (separate files of code, .h files, extern declarations) is extremely primitive: The only name encapsulation is by file name; the functions within a file are not named w.r.t. their module (Java also uses a file-based system but fixes this).
SML/NJ Literature
ISBN (paperback) 0521-56543-X. Elements of ml programming, ML97 Edition.Author Jeffrey D. Ullman. Concurrent Programming in ML. Authors John Reppy.
http://cm.bell-labs.com/cm/cs/what/smlnj/doc/literature.html
Support For Standard ML Programming At K-State
Support for Standard ml programming at KState. Visit the Standard MLof New Jersey WWW site for information about the SML/NJ compiler
http://www.cis.ksu.edu/~allen/sml/sml.html
Bookpool: Elements Of ML Programming (2nd Edition)
Feb 6, 2003 EST. Elements of ml programming (2nd Edition), Jeffrey Makesml programming interesting for the uninitiated. Demonstrates
http://www.bookpool.com/.x/ij99rw4ts8/sm/0137903871

Extractions: items Search Subjects New Books ... LogOut Search: Browse: Business and Culture Certification Computer Applications Databases Distributed Computing Enterprise Computing Graphics and Multimedia Hardware Networking / Comm Operating Platforms Other Topics Programming Programming Languages WWW and Internet Apr 9, 2003 EDT Availability: Out-Of-Stock Be the First to Write a Review and tell the world about this title! Books on similar topics, in bestseller order: Books from the same publisher, in bestseller order: Publisher Summary of Title Written by a well-known computer science education and researcher. No previous knowledge of ML or functional programming is assumed. 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. Summarizes the entire ML 97 language including the latest SML/NJ features.
Nuprl Basics - The ML Programming Language Of Nuprl
NuprlPrimitives Sections NuprlLIB Search Doc The ml programming languageof Nuprl. Executable code for Tactics (as well as a lot
http://www.cs.cornell.edu/Info/People/sfa/Nuprl/NuprlPrimitives/Xwhatis_ml_doc.h

Extractions: NuprlPrimitives Sections NuprlLIB Search ... Doc Executable code for Tactics (as well as a lot of editor code) is written in a dialect of ML described in the ML manual (postscript). It is older than Standard ML. The term "ML" connotes the fact that it was a "meta-language" of computation for an earlier tactic prover at Edinburgh, namely LCF, as it is now for Nuprl. Some new primitive types, including "term" and "proof", were added. Feb 2001 sfa
The ML Programming Language
September 22, 1999, Strong Typing, Slide 14. The ml programming Language. Stronglytyped. Research language. Originally developed for theorem proving systems.
http://perl.plover.com/yak/typing/samples/slide014.html
COMPUTE!'s Gazette (Nov 1989) - ML Programming
Machine Language Programming Random Thought. memory by BASIC; two bytes of the randomseed are randomized; and then the program calls upon the ML portion to
http://www.chisp.net/~dminer/c64/gazette/8911/070-ml.html

Extractions: Random Thought Jim Butterfield This month, we continue our discussion of random numbers in machine language. In particular, we'll look at a method for scaling a random number to a given range of values. Machine language random-number generators usually produce a random byte-that is, a random value from to 255. But this is seldom exactly what's needed; most of the time, you want a bigger or smaller range of numbers. How do you get this? Larger random numbers are easy. Take two random bytes and combine them into a two-byte random value; the resulting range is 0-65535. A smaller random range is trickier. Some texts suggest that, to obtain a smaller random-number range, you should divide the big random number by the range; the remainder is the random number you want. Thus, if you wanted a number in the range 0-99, you would divide the random byte by 100; the remainder would certainly be in the range 0-99. This sounds good at first, even though division is a relatively slow operation. However, upon closer inspection, you'll find that you've introduced a bias into the random-number generation. Let's follow the above example of obtaining a random number from to 99. (If you needed a random number between 1 and 100, you would add 1 to the result.) Starting with a random number in the range 0-255, dividing by 100, and taking the remainder does a poor job. You would have three chances of getting as your remainder: when the original random byte is 0, 100, or 200. But you'd have only two chances of getting 99 as your remainder: from original byte values of 99 or 199. As you can see, the probabilities are skewed.
Help-Site: ML Programming Computer Help
ml programming. Search.
http://help-site.com/c.m/prog/lang/ml/
Book: Elements Of ML Programming
CSC, Elements of ml programming. Title Elements of ml programming EditionISBN 0131848542 Author Jeffrey D. Ullman. Published Englewood
http://www.csclub.uwaterloo.ca/office/books/0131848542.html
Standard ML Programming For CPN Tools Users
Standard ml programming for CPN Tools Users. Abstract. The slide setis based on Ullman's book on Standard ml programming JD Ullman.
http://www.daimi.au.dk/CPnets/slides/l_m_kristensen12.html

Extractions: This set of slides constitues a short course on funtional programming and Standard ML (SML) aimed at CPN Tools users. Standard ML is the language used writing for colour set definitions and inscriptions in CPN Tools. The subset of the SML language covered should suffice for most users of CPN Tools. The slide set is based on Ullman's book on Standard ML programming: J. D. Ullman. Elements of ML Programming ML97 Edition. Prentice-Hall International, Inc., 1998. The slide set contains 88 pages divided into two parts. Each of the two part takes approximately 3 hours to present. Part I covers the basic constructs of the Standard ML language. Part II covers a number of more advanced constructs of the SML language. Lars Michael Kristensen, University of South Australia (lars.kristensen@unisa.edu.au) Last modified: Wed Feb 13 16:28:13 2002 CP-nets Webmaster
Standard ML
CPN ML An Extension of Standard ML. Standard ML Bibliography. JeffreyD. Ullman, Elements of ml programming, PrenticeHall, 1993 (Oct.
http://www.daimi.au.dk/designCPN/sml/

Extractions: Design/CPN use the CPN ML language for declarations and net inscriptions. This language is based on a well-known functional programming language, called Standard ML (SML), developed at Edinburgh University. Why does Design/CPN use Standard ML? Was Standard ML a Good Choice? CPN ML: An Extension of Standard ML The Design/CPN On-line Manuals contain a detailed CPN ML Reference Manual (more than 100 pages) and a short Overview of CPN ML Syntax (15 pages). For more details see:

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

1-20 of 81 1 | 2 | 3 | 4 | 5 | Next 20