Geometry.Net - Basic_M: Ml Programming


Home - Basic_M - Ml Programming

e99.com Bookstore

Images

Newsgroups

101-119 of 119 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

CS312 SML Resources
Bob Harper s excellent introduction to programming in Standard ml. A PracticalCourse in Functional programming Using Standard ml
http://www.cs.cornell.edu/Courses/cs312/2000fa/sml/sml-resources.html

Extractions: CS312 Resources for SML Windows : Self-installing executable (Win95, Win98, WinNT, and Win2000): Unix (including Linux): follow the instructions on the page CS312 will be using the Standard ML of New Jersey (SML/NJ) interactive system, compiler, and libraries. SML/NJ should be installed on the Windows machines in the CIT labs. If you'd like to install SML/NJ on your own machine, then follow the links above for installation instructions. For Windows, this is straightforward (but you'll have to reboot.) For the Macintosh, you'll have to install some other SML implementation.
SML/NJ Literature
ml for the Working Programmer assumes a little more programming experience thanElements Applicative High Order programming the Standard ml perspective
http://flint.cs.yale.edu/cs421/smlnj/doc/literature.html

Extractions: Author: Robert Harper, CMU Author: Peter Lee, CMU Author: Mads Tofte, DIKU Author: Mads Tofte, DIKU Author: Mads Tofte, DIKU Author: Andrew Cumming, Napier University Several textbooks on SML programming are available. We recommend the first two in this list. ML for the Working Programmer assumes a little more programming experience than Elements of ML Programming , however either one ought to be adequate for learning the language. Both of these books are in their second editions, now covering the SML '97 version of the language and Basis. Author: Larry C. Paulson
Principles Of Programming Languages
More on ml. The example ml program that shows preorder tree traveral is For extra credit, you may write an ml program to print a multiplication table
http://www.csee.umbc.edu/courses/undergraduate/CMSC331/Fall99/Nicholas/lectures/
PLDI 98 Tutorial -- References
N. Heintze, Setbased analysis of ml programs, Lisp and Functional programming, Z. Shao and A. Appel, A type-based compiler for Standard ml, programming
http://pauillac.inria.fr/~xleroy/talks/references-pldi98.html

Extractions: Compilation techniques for functional and object-oriented languages References S. L. Peyton-Jones, The implementation of functional programming languages , Prentice-Hall, 1987. A. Appel, Compiling with continuations , Cambridge University Press, 1992. C. Chambers, J. Dean, and D. Grove, Whole program optimization of object-oriented languages , technical report 96-06-02, University of Washington, 1996. C. Queinnec, Lisp in small pieces , Cambridge University Press, 1996. S. L. Peyton-Jones, T. Nordin, D. Oliva, C : a portable assembly language , Workshop Implementing Functional Languages, LNCS, 1998. Available at http://www.dcs.gla.ac.uk/ simonpj/c.html with other C documents. H. J. Boehm and M. Weiser, Garbage collection in an uncooperative environment , Software Practice and Experience 18(9), 1988. J. Bartlett, Scheme C, a portable Scheme-to-C compiler , research report 89/1, DEC WRL, 1989. M. Pettersson, Simulating tailcalls in C , chapter 9 of Compiling Natural Semantics , PhD thesis 413, Linköping University, 1995.
Machine Language For Beginners - Chapter 1
Assembly Language programming for the Atari Computers On the Atari, you couldtype. X=USR(1536) (and hit RETURN). and this will RUN your ml program.
http://www.atariarchives.org/mlb/chapter1.php

Extractions: Although anyone wishing to learn 6502 machine language (ML) will likely find this book instructive and worthwhile, the specific example programs are written to work on five popular personal computers: Apple, Atari, VIC, Commodore 64, and the PET/CBMs. If your computer uses the 6502 microprocessor, but is not one of these machines, you will need to find a "memory map" for your particular machine. These maps - widely available in books and magazines, and from user groups - will allow you to follow and practice with the examples of 6502 machine language throughout this book.
Standard ML
Standard ml is a popular functional programming language designed by Standard ml is one of a very few programming languages with a fully formal
http://www.lfcs.inf.ed.ac.uk/software/ML/

Extractions: LFCS People Publications Informatics Standard ML is a popular functional programming language designed by researchers in the LFCS in the 1980's. In 1987, Robin Milner and the LFCS won the BCS Award for Technical Excellence for work on Standard ML. Originally ML was conceived as a Meta Language for the theorem-proving system Edinburgh LCF, but it evolved into a successful general-purpose programming language. The language was standardised in 1990, and revised in 1997 as Standard ML '97 Standard ML is one of a very few programming languages with a fully formal definition, giving it significant appeal for both research purposes, and industrial-strength applications. One of the most appealing aspects of the language is that it is safe: all errors that could de-rail an ML program are detected at compile-time or handled neatly at run-time. This property makes program development and debugging much easier than in other unsafe languages (e.g. C++). Here are some useful documents which help with learning Standard ML. Beware that some of these documents only cover the older 1990 definition of Standard ML.
School Of Informatics Course Descriptor
The clean functional programming paradigm represented by ml is quite differentfrom the Functional programming in Standard ml The functional paradigm.
http://www.inf.ed.ac.uk/teaching/courses/fps.html

Extractions: Course Web page Credit Points Credit Level Acronym INF-3-FPS Study Pattern Study Format Hours Lectures Tutorials Timetabled Laboratories Non-timetabled assessed assignments Private Study/Other Total Pre-requisite Courses None Other Pre-requisite Requirements CS2. Alternatively, a good background in some programming language together with a familiarity with basic notation from logic (logical connectives, quantifiers, etc.) and proofs using equational reasoning and induction. Co-requisites/Forbidden Combinations None The course has two aims. The first is to provide an introduction to programming in Standard ML including the use of the facilities it offers for structuring programs into modules. The clean functional programming paradigm represented by ML is quite different from the imperative object-oriented paradigm represented by Java, making it more suitable for some applications. The second aim is to provide an introduction to formal methods for specification and development of programs, using the Extended ML specification framework as a vehicle. Simple proofs of properties of functions are interwoven with the first part of the course to link it with the second part. Students will be able to design a representation of an informally-described data structure in ML as a datatype, and translate an informal description of an algorithm into an ML function, making appropriate use of higher-order functions and other characteristic features of the functional programming paradigm.
Applicative Programming Reading List
An excellent textbook to accompany these notes is Paulson s ``ml for the WorkingProgrammer (Second Edition) Pau96. In fact, at the time of writing,
http://www.disi.unige.it/person/MoggiE/LP/SML/NOTES/node8.html

Extractions: NEXT UP PREVIOUS CONTENTS ... INDEX Reading material 's ``ML for the Working Programmer (Second Edition)'' [ ]. In fact, at the time of writing, this is the only textbook which can be recommended without reservation because it is the only textbook which deals with the 1997 revision of the Standard ML languagesometimes called SML'97the other textbooks refer to the 1990 issue of the language standard, and some even pre-date that. Of particular interest in Paulson's book are the chapters devoted to the module system of Standard ML and the material on proving the correctness of a function with respect to a description of its behaviour. The book contains many exercises and specimen answers for some of these can be obtained from Paulson's Web page 's ``Elements of ML Programming'' [ 's ``Applicative High-Order Programming'' [ 's ``Elements of Functional Programming'' [ ]. These also contain exercises but they do provide specimen solutions, at least for selected exercises. 's ``Introduction to Standard ML'' [ ] is published as a University of Edinburgh technical report and gives a concise description of the Standard ML core language and the modules system. Material on the verification of functions is not included. There are many exercises with specimen answers.
A Gentle Introduction To ML
a tutorial for the Standard ml language.
http://www.dcs.napier.ac.uk/course-notes/sml/manual.html
4. Using ML
This tells you that the ml.EXE program has automatically called up the LINK. COM program. The ml program figured this out because we d used the .model
http://users.easystreet.com/jkirwan/new/x86lrn04.html

Extractions: Now that we've gone through the process of using DEBUG, let's walk though the creation of the second program when using ML. Although you can create a finished program with a single DOS command, using ML, there are actually two programs at work. These are ML.EXE and LINK.EXE. ML will assemble a source code file written by you into what is called an "object file." This object file is not the completed program, though. It's an intermediate step. The reason that an intermediate step is used is because there are many times when programmers will prefer to write a program using more than one source file one program, many source files. So when your source code is first assembled, it is assembled into an object file with the extension of .OBJ. As a second step, the linker (LINK.EXE) is then notified about how many object files are supposed to be combined into a single program and it does it. This process of compiling into object files and then later linking those object files into the final program is called "separate compilation." Some languages support it, some don't. Assembly coding almost always does support it. When you use ML, by default it invokes LINK.EXE to finish up the process and make the final program. If you don't want that, you have to add a command line option, "/c", to the DOS command you use to start ML.EXE. But for short programs (and particularly, for your first programming efforts), it's a lot easier to simply let ML invoke the linker after it is done assembling the source code file.
Language/ml/ml_lex/
mlLex has a syntax similar to Lex, and produces an ml program instead of aCprogram. ml-Lex produces a program that runs very efficiently.
http://www.ptf.com/ptf/products/UNIX/current/0367.0.html
Take-home (Fall 2002)
Also, put a comment at the top of each ml program telling me whether you used aWin PC version of ml, or the Unix version that I have online for the class.
http://www.cs.unc.edu/~stotts/COMP204/exams/f02mtout.html

Extractions: Due classtime, Tuesday Nov. 19 This portion of the exam is open-book, open-notes, open-web, open-instructor, but closed-friends-and-classmates. Please sign a pledge on the part you turn in stating that you can done your own work within these guidelines. In all the problems that require you to write ML code, submit a text file that conatins your code, and your test cases, so that I can run the ML interpreter, "use" your file, and see the execution... have the execution demonstrate via tests the correctness of your solution. Also, put a comment at the top of each ML program telling me whether you used a Win PC version of ML, or the Unix version that I have online for the class. Oh, I guess there is a third possibility... a Linux version of the latest ML on PC. So, I want a separate text file submitted (as email attachments) for each ML program. Name the files according to problem... such as "p1a.txt", "p2b.txt" etc... Make the file names end in ".txt" so my mailer will auto-display the attached files too. The rest of the exam please hand in on paper to my mailbox or office. In the paper you write, make sure you explicitly state for the problems with program parts something like "emailed attached program p1a.txt" or whatever so I will know to look for it and that you did not overlook the problem. There may well be other explanatory information needed for the program parts as well (for example, problem 5).
Student Projects At IT-C
First, support for accessing Web services from Standard ml programs (eg, Xml parsing The goal of this project is to write a Standard ml program that
http://www.itu.dk/people/mael/studentprojects.html

Extractions: by Martin Elsman - last revised: 2003-04-02 Home : Student Projects at IT-C SMLserver Web Services: The goal of this project is to add support for SOAP -based Web services in the Standard ML programming language. There are two aspects of this project. First, support for accessing Web services from Standard ML programs (e.g., from SMLserver scriptlets) is needed. Second, support for writing Web services in the programming language Standard ML and publicising such Web services are open to investigation. Requirements: Knowledge about Standard ML and XML. Posix Library for Standard ML: On the basis of the Standard ML Basis Library specification, the goal of this project is to implement and create test cases for the Posix part of the library. The library should be implemented in the framework of the ML Kit compiler, although compatibility with other compilers (such as Moscow ML ) is important. Requirements: Knowledge about Standard ML and C. Thread Support for the ML Kit with Regions: The goal of this project is to design and implement a thread library for the ML Kit , a Standard ML compiler, which uses a non-traditional mechanism for memory management, called region inference. The thread-library should be implemented on top of
Project Proposals For Master Of Science Projects And 4/12/16-week Projects
First, support for accessing Web services from Standard ml programs (eg, The goal of this project is to write a Standard ml program that takes a text
http://www.itu.dk/research/plt/proglangproposals.html

Extractions: Suggested size: Master's Thesis project; workload: 30% theoretical/70% practical. Add SOAP-capabilities to SMLserver (client-side and server-side). The goal of this project is to add support for SOAP -based Web services in the Standard ML programming language. There are two aspects of this project. First, support for accessing Web services from Standard ML programs (e.g., from SMLserver scriptlets) is needed. Second, support for writing Web services in the programming language Standard ML and publicising such Web services are open to investigation. People: Martin Elsman (contact); ME HN (possible supervisors).
FAQ: Use Of Ml For Nonlinear Model
We could extend the ml program to estimate robust variances with the robust optionor with the cluster() option. . ml model lf mlnexpgr (B1rep78=headroom
http://www.stata.com/support/faqs/stat/nl_ml8.html

Extractions: Home FAQs Use of ml for nonlinear model Title Use of ml for nonlinear model Authors Weihua Guan, Gustavo Sanchez, StataCorp Date February 2002; updated July 2005 Consider the model y = f(x) + e where y is the outcome, f(x) is a nonlinear form of covariate x, and e is the random error. We can change the equation into e = y - f(x) Assuming that the errors are distributed as N(0,sigma), we are allowed to write the density function, which is also the likelihood function. 1 e^2 f(e) = - exp(- -) sqrt(2*_pi)*sigma 2*sigma^2 Then, the log-likelihood function will be lnL = -0.5*ln(2*_pi) - ln(sigma) - 0.5*e^2/sigma^2 = -0.5*ln(2*_pi) - ln(sigma) - 0.5*(y-f(x))^2/sigma^2 We now need to parse f(x) into several linear combinations of x covariates and other parameters. Here we use the first example in [R] nl to show how to write the ml program for the same model. The nl program is written in the manual as Using the auto dataset we obtain the following results: . sysuse auto, clear
The BANE Home Page
The only way an ml program can unexpectedly terminate is with an uncaught exception . Tracking down Exceptions in Standard ml Programs.
http://http.cs.berkeley.edu/Research/Aiken/bane.html

Extractions: The Berkeley ANalysis Engine Introduction The Engine Applications People ... Carillon , a BANE-based system for finding Y2K errors in C programs, is now available! BANE is a toolkit for constructing program analyses such as dataflow and type inference systems. Program analyses are widely used in compilers and software engineering tools for discovering or verifying specific properties of software systems, such as type safety and opportunities for program optimization. BANE is constraint-based , meaning that analyses are formulated as systems of constraints generated from the program text. Constraint resolution (i.e., solving the constraints) computes the desired information. Constraints are a natural conceptual and engineering framework for program analysis. From the viewpoint of the analysis designer, the problem of implementing an analysis is reduced to the problem of writing code to generate appropriate constraints, which is often done with a simple recursive walk of the abstract syntax tree. The analysis engine takes care of all details of constraint representation and resolution. From an engineering perspective, there are many opportunities for optimizing the representation and resolution of constraints that can be encapsulated inside the resolution engine. In addition to work on the engine itself, we are devoting substantial energy to writing
Pop11 Help Pml
For help in writing mixedlanguage programs in Pop-11 and ml seeHELP*mlINPOP -6
http://www.poplog.org/docs/popdocs/pop11/help/pml

Extractions: HELP PML Robert Duncan, March 1990 Revised November 1994 An introduction to the Poplog Standard ML subsystem. Introduction Running PML Initialisation Command Line Arguments ... References and Further Reading 1 Introduction Poplog ML (PML) is an implementation of the programming language Standard ML (SML): a statically-scoped, strict functional language with a polymorphic, static type system, a type-secure exception mechanism and a powerful module facility for the support of large-scale programming projects. Both the static and dynamic semantics of SML are formally defined: see references [1,2] below. Poplog ML attempts a faithful implementation of the formal semantics: known deficiences are documented in HELP*BUGS ; extensions are described in HELP*FEATURES pml 2 Running PML PML is supplied as a Poplog saved-image. To run it, give + pml as an argument to the command invoked from the shell or DCL, as follows: $ pop11 +pml Most sites should have a command abbreviation installed for this which will allow you to type just: $ pml instead. In either case, PML will print a version banner, followed by the word Setml Setml is printed whenever the PML system is reset on start-up, or after an error or an interrupt. The primary prompt indicates that PML is waiting for new input: you can then type either a standard top-level declaration for evaluation, or a PML command. A secondary prompt, "=", will appear whenever the input typed so far is incomplete. Commands are not a part of Standard ML: they are an addition to PML to allow access to features of the Poplog system. Useful commands to try are: -
CS152 Spring 2005 Schedule
Question for the day Where does a new, unknown type come from in an ml program?When do two types have to be equal in an ml program?
http://www.eecs.harvard.edu/~nr/cs152/schedule.html

Extractions: Question for the day: How do I prove a fact that is true of any possible program? Tuesday, 2/8 Not a class day, but Assignment for intro: Introduction; imperative core; ASTs, environments, and semantics due at 11:59 PM. Wednesday, 2/9 Scheme: S-expressions, programming with recursion and lists, association lists
VUMC Department Of Biomedical Informatics (Courses)
MD/PhD and MD/MS Program Part 2 Machine Learning. Introduction to MLprogramming techniques with MATLAB. Data cleaning and preparation (confidentiality
http://www.mc.vanderbilt.edu/dbmi/education/courses.php

Extractions: Class descriptions: 300. Foundations of Biomedical Informatics. Management and transformation of health data, information, and knowledge to improve health care. Focus on information systems in clinical settings and the use of databases for outcome management. Introduction to clinical cognitive biases, formal Medical Decision Making methods, and methods for Evidence-Based Practice. FALL/SPR [3] K Johnson D Masys 300a. Lab - Foundations of Biomedical Informatics.

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-119 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6