Geometry.Net - Basic_M: Ml Programming


Home - Basic_M - Ml Programming

e99.com Bookstore

Images

Newsgroups

61-80 of 113 Back | 1 | 2 | 3 | 4 | 5 | 6 | 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)

Extensible ML
Lazy ML
ACM SIGPLAN Workshop on ML (ML'06)
Parallel SML: A Functional Language and Its Implementation in DACTL (Research Monographs in Parallel & Distributed Computing) by Kevin Hammond, 1990-11
Introduction to standard ML (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by Robert Harper, 1986
The essence of ML (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by John C Mitchell, 1987
Changes to the standard ML core language (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by R Milner, 1987
Standard ML (LFCS report series. University of Edinburgh. Department of Computer Science. Laboratory of Foundations of Computer Science) by Robert Harper, 1986
A persistent storage system for poly and ML (Technical report. University of Cambridge. Computer Laboratory) by David C. J Matthews, 1987
Papers on Poly/ML (Technical report. University of Cambridge. Computer Laboratory) by David C. J Matthews, 1989
ML'07: Proceedings of the 2007 Workshop on ML, Freiburg, Germany, October 5, 2007
The semantics of standard ML: Version 1 (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by Robert Harper, 1987
Compiling ML to DACTL: Early experiences (Internal report, SYS-C. University of East Anglia. School of Information Systems) by K Hammond, 1986
ML'06: Proceedings of the ACM Sigplan 2006 Workshop on ML: September 16, 2006, Portland, Oregon, USA

lists with details

Functional Programming Languages
Elements of ml programming, ML97 Edition (2nd Edition). The Little MLer. Programming in Standard ML, by Bob Harper. A Gentle Introduction to ML, by Andrew Cumming.
http://cbbrowne.com/info/functional.html

Extractions: Christopher B. Browne's Home Page cbbrowne@acm.org Christopher Browne's Web Pages Prev Next In the realm of computing, the term functional tends to take on two very distinct meanings: From the comp.lang.functional FAQ comes the following: "Functional programming is a style of programming that emphasizes the evaluation of expressions, rather than execution of commands. The expressions in these language are formed by using functions to combine basic values. A functional language is a language that supports and encourages programming in a functional style. " In an imperative language, one might describe an algorithm for adding values together to get a sum thus: The functional equivalent would be expressed without any variable updates ( e.g.
Encyclopedia4U - ML Programming Language - Encyclopedia Article
ml programming language. ML (standing Documentation License. It uses material from the Wikipedia article ml programming language .
http://www.encyclopedia4u.com/m/ml-programming-language.html

Extractions: ENCYCLOPEDIA U com Lists of articles by category ... SEARCH : ML (standing for " Meta-Language ") is a general-purpose functional programming language developed by Robin Milner and others in the early 1980s at Edinburgh University. ML is often referred to as an impure functional language, because it permits imperative programming, and therefore, side-effects, unlike other functional programming languages such as Haskell Features of ML include automatic memory management through garbage collection, a static type-safe, polymorphic type system type inference algebraic data types pattern matching , and a sophisticated module system with functions on modules ( functors Type inference is a technique which allows the compiler to determine from the code the type of each variable and symbol used in the program, without having to explicitely declare them. This allows for a compact, yet easily readable code. Algebraic data types allow to define new types as data structures, and combine them in a hierarchical fashion, Pattern matching is the capacity for a function to deconstruct algebraic data types, into its different subtypes, in order to apply a particular computation for each subtype.
Amazon Light - Details For Elements Of ML Programming, ML97 Edition (2nd Edition
Click to see larger image, Elements of ml programming, ML97 Edition (2nd Edition) by Jeffrey D. Ullman Prentice Hall Sales Rank 87,153 Avg.
http://www.kokogiak.com/amazon/detpage.asp?asin=0137903871&field-keywords=&schMo
Elements Of ML Programming, ML97 Edition
Elements of ml programming, ML97 Edition Search for books at mathematicsbooks.org. mathematicsbooks.org. Elements of ml programming, ML97 Edition.
http://mathematicsbooks.org/0137903871.html

Extractions: Customer Reviews 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. Look for related books on other categories Computers Computer Bks - Languages / Programming Programming - General ML (Computer program language) ... Programming Languages - General Other related products Still didn't find what you want? Try Amazon search Search: All Products Books Magazines Popular Music Classical Music Video DVD Baby Electronics Software Outdoor Living Wireless Phones Keywords: Or try to look for Elements of ML Programming, ML97 Edition
4Reference || ML Programming Language
Read about ml programming language and thousands of other subjects at 4Reference.net. ml programming language. ML (standing for
http://www.4reference.net/encyclopedias/wikipedia/ML_programming_language.html

Extractions: Front Page Encyclopedias Dictionaries Almanacs ... Quotes ML programming language ML (standing for " Meta-Language ") is a general-purpose functional programming language developed by Robin Milner and others in the early 1980s at Edinburgh University. ML is often referred to as an impure functional language, because it permits imperative programming, and therefore, side-effects, unlike other functional programming languages such as Haskell_programming_language . Features of ML include automatic memory management through garbage collection, a static type-safe, polymorphic type system, type inference, algebraic data types, pattern matching, and a sophisticated module system with functions on modules ( functors Type inference is a technique which allows the compiler to determine from the code the type of each variable and symbol used in the program, without having to explicitely declare them. This allows for a compact, yet easily readable code. Algebraic data types allow to define new types as data structures, and combine them in a hierarchical fashion, Pattern matching is the capacity for a function to deconstruct algebraic data types, into its different subtypes, in order to apply a particular computation for each subtype. Today there are several languages in the ML family; the most popular are
Programming Languages (Honors) G22.3110 Fall 1999 ML Programming
Programming Languages (Honors) G22.3110 Fall 1999 ml programming Project Due Monday, November 15 Your task is to implement a polymorphic type inferencer for
http://www.cs.nyu.edu/courses/fall99/G22.3110-001/ml_assignment.txt

Extractions: Programming Languages (Honors) G22.3110 Fall 1999 ML Programming Project Due Monday, November 15 Your task is to implement a polymorphic type inferencer for the language whose syntax is represented by the exp datatype in the file unify.sml. You are free to use all the code on unification provided in the file or from any other source, but are not allowed to use code from any other source besides this document for the type inference component. Generic vs. non-generic type variables Consider the following ML definition: fun foo x y = let fun bar z = if length z
ML Programming Language Definition Of ML Programming Language. What Is ML Progra
Definition of ml programming language in the Dictionary and Thesaurus. ml programming language. Word Word.
http://www.thefreedictionary.com/ML programming language
ML Programming Language Legal Definition Of ML Programming Language. What Is ML
Definition of ml programming language in the Ledal Dictionary and Thesaurus. ml programming language. Word Word.
http://legal-dictionary.thefreedictionary.com/ML programming language
ML Programming Language Medical Definition Of ML Programming Language In The Med
Definition of ml programming language in the Medical Dictionary and Thesaurus. Provides search by definition of ml programming language.
http://medical-dictionary.thefreedictionary.com/ML programming language
Student Projects At IT-C
SMLserver Web Services The goal of this project is to add support for SOAPbased Web services in the Standard ml programming language.
http://www.it.edu/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
The Caml Language
The Caml language. Google our site Version française. Caml is a stronglytyped functional programming language from the ml family.
http://caml.inria.fr/
Programming In Standard ML '97: On-line Tutorial
An online tutorial by Stephen Gilmore.
http://www.dcs.ed.ac.uk/home/stg/NOTES/

Extractions: (Revised June 1998, Apr 2000, Jan 2003, March 2004) Standard ML is a programming language which combines the elegance of functional programming with the effectiveness of imperative programming. This tutorial introduces important concepts in the language, illustrating them with brief examples. The examples are suitable for cutting-and-pasting into an on-line session. To navigate through the tutorial you can either move sequentially through by following the Next links or dip in and out by selecting topics from the table of contents by following the Contents link. This tutorial is also available as a or suitable for printing. The printable version contains an extra chapter which is not available in this on-line version.
Programming In Standard ML
These notes are intended as a brief introduction to Standard ml (1997 dialect) for the experienced programmer
http://www-2.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.
Standard ML Of New Jersey
The Standard ml of New Jersey compiler and programming system Sml/NJ) is a compiler for the Standard ml '97 programming language with associated libraries, tools, and documentation
http://cm.bell-labs.com/cm/cs/what/smlnj

Extractions: of New Jersey Standard ML of New Jersey (abbreviated SML/NJ ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software. Working version 110.45 available. This is a maintenance release which mostly fixes problems compiling the runtime system code using GCC 3.3. Working version 110.44 available. This update fixes several important bugs, improves the new installer, provides support for Mac OS X 10.3 (Panther), and continues to bring the Basis implementation closer to the specification. Working version 110.43 available. This is a fairly major update which brings back an operational port to the Microsoft Windows platform as well as extensive work on the Basis library (including support for IntInf.int The SML/NJ source CVS repository has been moved to SourceForge. The SML/NJ SourceForge project page has a link to information about CVS access. The distribution files are also in the process of being moved to SourceForge. A mirror of the www.smlnj.org is available at the University of Chicago . The Bell Labs SML/NJ web site is now obsolete and will be replaced with an indirection to www.smlnj.org. [March 10, 2003]
Functional Programming In The Real World
Lists functional programs written primarily to perform to realworld tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ml.
http://homepages.inf.ed.ac.uk/wadler/realworld/

Extractions: Here is a list of functional programs applied to real-world tasks. The main criterion for being real-world is that the program was written primarily to perform some task, not primarily to experiment with functional programming. Functional is used in the broad sense that includes both `pure' programs (no side effects) and `impure' (some use of side effects). Languages covered include CAML, Clean, Erlang, Haskell, Miranda, Scheme, SML, and others. Further entries are solicted. To submit an entry, please copy the HTML source of this sample and fill in your own details, then send by email to the address below. If in doubt whether your application is suitable for the list, please ask. This list was originally inspired by a Dagstuhl workshop in May 1994 on Functional Programming in the Real World , organised by Robert Giegerich and John Hughes. The list was originated by Philip Wadler, who currently maintains it. Thanks are due to our previous maintainers, Andy Gill and Jonathan Hogg Quite a few libraries exist for various languages, many of which include some impressive real-world applications. Have a look at:
Machine Learning And Natural Language Processing Lab
Research on Data Mining, Machine Learning,Inductive Logic programming, Relational Learning, Machine Learning for Bioinformatics.
http://www.informatik.uni-freiburg.de/~ml/
VC++ML (Programming With VC++)
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://mfc.acty-net.ne.jp/ml/mfc/
Stephen Gilmore
University of Edinburgh PEPA stochastic process algebra, Standard ml functional programming language.
http://www.dcs.ed.ac.uk/~stg/

Extractions: My AESOP page: http://aesop.doc.ic.ac.uk/~sgilmore/ Photograph: December 2002 I pursue research on the use of the PEPA stochastic process algebra and on the Standard ML functional programming language. A PEPA home page allows you to obtain information about PEPA. I have written a Standard ML '97 tutorial . I offer this small insight about Java: ``main is static, but static is not main''. Hope that helps. At present I am working on the following projects: PEPA with Jane Hillston, Leila Kloul, and Marina Ribaudo. Mobile Resource Guarantees with David Aspinall, Martin Hofmann, Don Sannella and Ian Stark. Design Environments for Global Applications with Perdita Stevens, Val Haenel, Monika Maidl, Corrado Priami, Linda Brodo and Catherine Canevet. P# (``P sharp'') with Jon Cook.
Home Page For Rowan Davies
Carnegie Mellon University Standard ml with refinement-type checking, relationships between modal logics and programming languages.
http://www.cs.cmu.edu/~rowan/

Extractions: I'm now in my n th year of study towards a Ph.D. in the CS department at CMU , advised by Frank Pfenning . I'm now also a lecturer in the Computer Science and Software Engineering Department at the University of Western Australia My research interests mostly concern the examination of a wide variety of concepts in both theoretical and practical computer science and attempting to relate these to concepts in logic and type theory. This sometimes leads to new insights, and sometimes suggests useful generalizations of computer science concepts. For example, in ongoing work with others I have demonstrated a relationship between modal logics and the languages used in partial evaluation, and used this idea to design an extension of the programming language ML with run-time code generation. In separate work I have considered modal logic as a logical basis for languages which combine imperative features and more "logical" constructs such as functions and pairs. See my longer description of research interests for more details. Recently my main interest has been refinement types, which combine the features of ordinary type systems such as functions and records with elements of program properties such as implication and logical "and". This allows efficient expression of many common program properties that are beyond the scope of ordinary type systems, while retaining desirable properties such as an intuitive error reporting, and efficient checking. My thesis work involves extending the programming language Standard ML with refinement-type checking. Here are some
Visual Foxpro Training, Consultancy And Programming (UK And USA).
Visual Foxpro programming, SQL server and Crystal Reports training. Located in Scotland.
http://www.ml-consult.demon.co.uk/

Extractions: Visual FoxPro training, consultancy and programming Mike Lewis Consultants Ltd. is a consultancy and training company specialising in Microsoft Visual FoxPro. Based in Edinburgh (Scotland), our training and consulting services are available throughout the UK, the rest of Europe, the USA and Canada. We also offer training and consultancy in Microsoft SQL Server and Crystal Reports. News Our Visual Foxpro training courses are all practical, hands-on classes, designed to help you learn useful real-world skills. We can bring our courses to your site, in the UK, USA or elsewhere. We also run occasional public courses, and offer customised one-to-one training at our office in Edinburgh. NEW . We now also offer training in Crystal Reports for end users Programming and Consultancy

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

61-80 of 113 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20