Geometry.Net - Basic_M: Ml Programming


Home - Basic_M - Ml Programming

e99.com Bookstore

Images

Newsgroups

101-113 of 113 Back | 1 | 2 | 3 | 4 | 5 | 6

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

Standard ML
Standard ml is a safe, modular, strict, functional, polymorphic programming language with compiletime type checking and type inference, garbage collection
http://www.smlnj.org/sml.html

Extractions: 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. It has efficient implementations and a formal definition with a proof of soundness. Safe ML is safe, in that a program that passes the type-checker cannot dump core, access private fields of abstract data types, mistake integers for pointers, or otherwise "go wrong." Modular The Standard ML module system supports modules (called structures ) and interfaces (called signatures ); the signature of a module determines what components and types from the module are visible from outside. There is a flexible system for matching structures to signatures: there can be several different views (signatures) of the same structure, and there can be several different implementations (structures) matching the same signature. Functional ML has higher-order functions: functions can be passed as arguments, stored in data structures, and returned as results of function calls. Functions can be statically nested within other functions; this lexical scoping mechanism gives the ability to create "new" functions at run time.
Introduction To Functional Programming (1996/7)
Lambda calculus as a programming language Colour Postscript; Types Colour Postscript; ml Colour Postscript; Details of ml Colour Postscript; Proving programs
http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/

Extractions: Hopkinson Lecture Room Entire notes (160 pages): DVI Postscript Introduction and Overview: Colour Postscript Lambda calculus as a formal system: Colour Postscript Lambda calculus as a programming language: Colour Postscript Types: Colour Postscript ML: Colour Postscript Details of ML: Colour Postscript Proving programs correct: Colour Postscript Effective ML: Colour Postscript ML examples I: Symbolic differentiation: Colour Postscript ML examples II: Recursive descent parsing: Colour Postscript ML examples III: Exact real arithmetic: Colour Postscript ML examples IV: Prolog and theorem proving: Colour Postscript Additional material is available from those who have taught the course in previous years: Mike Gordon and Andy Gordon . The theoretical part of the course is also covered by lecture notes from
Alice
language based on Standard ml, extended with support for concurrent, distributed, and constraint programming. Alice extends Standard ml with several new
http://www.ps.uni-sb.de/alice/
MlLanguage - Fellowship Of Hobbyist Programmers
WWWOpen Directory category; WWWIntroduction to programming in Standard ml a thorough introduction to the language aimed at university students;
http://www.hprog.org/fhp/MlLanguage

Extractions: Fellowship of Hobbyist Programmers FrontPage RecentChanges TitleIndex WordIndex ... moin.sf.net ML stands for "meta language," though that meaning isn't very relevant to the language today. Today it is simply a family of general purpose programming languages. The two main dialects in use today are Standard ML, a mathematically defined version of the language formulated in part by some of the original language developers; and OCaml , an offshoot version from the original ML to which features are added at will without defining them in a standard. Here I'll be talking primarily about Standard ML. There are many more compilers available for it. A note about syntax: Many people who read this page or otherwise learn about ML for the first time claim that the syntax is inherently bad, hard to follow, etc.. These people are universally the kind who only know languages that are effectively clones of C, and thus have nearly the same syntax as C does. They expect each "new language" they learn to essentially be C with some minor cosmetic changes, and perhaps a few new features added on. If you find yourself agreeing with them, keep in mind that if you spent even a fraction of the time accustoming yourself to SML syntax as you have with the syntax of C-like languages, you would find SML to be exceptionally easy to read and understand, even without the comments that equivalent C programs often require. The flow of control in SML is conceptualized in fundamentally different (and, in my opinion, better) ways, so you won't find a trivial mapping between C and SML code.
Jon Kirwan: PC Assembly Programming/Where To Get PC Assembly Tools
NMAKE.ERR. (If you need the setup program for extracting ml.EXE and ml.ERR from their cabinet file, I provide a link later on and not above.). MASM 6.1 Manuals.
http://www.easystreet.com/~jkirwan/pctools.html

Extractions: Where to Get PC Assembly Tools I've been using PC assembler programming since IBM's first version of the assembler, in 1984, and Microsoft's own branded version since it was released somewhat later. Free is a very good price and Microsoft's assembler has been the tool of choice since the earliest PC days. There are plenty of source code files available and most of the good ones will have at least one version designed to work with Microsoft's assembler tool. Microsoft provides its professional assembler tool (ML and components) in a rather complicated way. You pick up the assembler itself from one file and then get the linker from another file. You may want to pick up the latest patches to the assembler from still another file. Worse, you may need to either get a setup program to help you access the assembler in the file it comes in or else you will have to handle some arcane details to do it manually. In short, it might help to have a guide. I hope this helps. I discuss the following tools, but this is a quick, one-stop shop for getting the pieces: (Sometimes, Microsoft changes the sites and breaks the links below. If so, try out the link to the MS Article. Often, that article has the updated link.)
Dictionary Of Programming Languages
ml is the name for a family of functional programming languages ml, Sml, Sml/NJ, CAml, Eml, and others. The features
http://cgibin.erols.com/ziring/cgi-bin/cep/cep.pl?_key=ML
The Nice Programming Language
can be created and manipulated as firstclass expressions, just like in Lisp and ml. be disabled, in which case they cause no slow down of the running program.
http://nice.sourceforge.net/

Extractions: Academic Research Nice is a new programming language. It extends the ideas behind object-orientation in order to better support modular programming and static type safety. It also incorporates features from functional programming, and puts into practice state-of-the-art results from academic research. This results in more expressivity, modularity and safety. In object-oriented languages, it is possible to add a new class to an existing class hierarchy. In Nice, it is also possible to add
A Gentle Introduction To ML
Tutorial Eight (accumulate). Cynthia An interactive ml editor. Brief instructions on how to Use files; Execute other programs; Create an executable; Use
http://www.dcs.napier.ac.uk/course-notes/sml/manual.html
DevX
DevX is the leading provider of technical information, tools and services for IT professionals developing corporate applications. AMD Making Windows Applications Run Faster. Microsoft programming The Tablet PCGet Up To Speed Quickly
http://www.windx.com/

Extractions: Include Code Search Tips TODAY'S HEADLINES ARTICLE ARCHIVE SKILLBUILDING ... Premier Club Search 1,700+ tech books, access premium content, CoDe Magazine , eLearning discounts, and more. Search Engine Tips Search engine marketing and optimization Web Site Analysis Tool TheCounter.com - The Affordable Web Site Analysis Tool Menuing Software HierMenus provides DHTML-based cross-browser navigation of your Web site through drop down and pop-up menus. Product Bank Research components, tools, and enterprise solutions. DevX MarketPlace Shop our partner network for great selection and prices! IT Jobs Search thousands of high-tech jobs posted by thousands of employers. ISVs: Click here to enter the "Does Your App Think in Ink" Contest and Win $100,000 FEATURED ARTICLE Write Apps for the Smartphone without Dumbing Down Your UI Learn how to change the text input modes and improvise the ContextMenu and TabControl controls using the Smartphone 2003 SDK for the .NET Compact Framework. NEWEST ARTICLES Writing Managed Stored Procedures in SQL Server 2005 Are you tired of struggling with T-SQL to encapsulate the logic your applications need to get data into and out of SQL Server? Now you can bypass SQL altogether, and write logic that runs directly within SQL Server in your favorite .NET language.
Assignment 6: First ML Program
Assignment First ml Program. Your task in this assignment will be to write an ml program that computes the Mandelbrot set as you have done in Java and Perl.
http://www.cs.unc.edu/~stotts/COMP144/assignments/ml-1/

Extractions: Spring 2004 Your task in this assignment will be to write an ML program that computes the Mandelbrot set as you have done in Java and Perl. You will not be drawing a picture of it. Instead you will be doing what you did in the second Perl script, where you computed membership information and created a 2D array containing integers representing color values for each pixel in an image. For ease of viewing the output lets have this thing compute a 30 x 30 pixel image. Input is a pain in ML, so you can if you like have your program run from a,b,c,d values set in the initial parts of the code. Or, you can figure out the input functions and parse some parameters for extra credit. Output is not so bad, so let's write the integer array to a file called "image.txt" Write the first line having 2 integers (height, width) so some other filter (like a Perl program perhaps) can know the array size, and then read your ML output and draw the image. Each subsequent line will be a row of the image data you have computed. Make a blank space between integers. You can also do this in Unix by writing to stdout ("print") and using IO redirection.
Inserts ML Program Into Video Memory Of TI-85 Backup - Ticalc.org
Inserts ml program into video memory of TI85 backup. FILE INFORMATION. Filename, insert.com. Title, Inserts ml program into video memory of TI-85 backup. Author, n/a.
http://www.ticalc.org/archives/files/fileinfo/2/214.html

Extractions: insert.com Filename insert.com Title Inserts ML program into video memory of TI-85 backup Author n/a Category DOS Assembly Utilities File Size 2,758 bytes File Date and Time Thu Jul 24 23:00:00 1997 Documentation Included? No Source Code Included? No RATING If you have downloaded and tried this program, please rate it on the scale below Bad Good REVIEWS There are no reviews for this file. Do you want to write one REPORT INAPPROPRIATE FILES We at ticalc.org try to keep our archives free of inappropriate material, but we're not perfect. We rely on our community of users to help catch inappropriate material that may occasionally slip through our screening. Please see our Site Policies for a description of what is not allowed in our archives. To report that you believe the file above contains inappropriate content, please use the form below. We will let you know what action we are taking, if any is necessary. In order to use this form, you must have a (free) ticalc.org account - this is required in order to limit the misuse of this feature. You can also email
COMP150 FLP: ML Program Examples
COMP150 FLP ml program examples. This page gives the source of programs used in class in chronological order. Some of these are
http://www.cs.tufts.edu/comp/150FLP/ClassExamples/ML/
AI On The Web
CMU Repository Data Mining in Python Delve Project Irvine ml programs ml Programs (CMU) mlC++ Neural Software Statlib Statlog Texas Research Software UCLA
http://www.cs.berkeley.edu/~russell/ai.html

Extractions: This page links to pages around the web with information on Artificial Intelligence. Some of the links will pop up additional information when you move the mouse over them. Links in Bold* followed by a star are especially useful and interesting sites. If you have new links to add, let us know . The subtopics are: Overview of AI

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

101-113 of 113 Back | 1 | 2 | 3 | 4 | 5 | 6