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

Standard ML 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.

102. 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/

Introduction to Functional Programming (1996/7) John Harrison This year's (1997/8) course is here . The present page has more material. Computer Science Tripos, Part II (General) and Diploma in Computer Science Twelve lectures, beginning on Fri 16th Jan 1997, ending on Tue 11th Feb 1997 Hopkinson Lecture Room Lecture Notes Entire notes (160 pages): DVI Postscript Title, preface, table of contents: DVI Postscript Chapter 1 - Introduction: DVI Postscript Chapter 2 - Lambda calculus: DVI Postscript Chapter 3 - Lambda calculus as a programming language: DVI Postscript Chapter 4 - Types: DVI Postscript Chapter 5 - A taste of ML: DVI Postscript Chapter 6 - Further ML: DVI Postscript Chapter 7 - Proving programs correct: DVI Postscript Chapter 8 - Effective ML: DVI Postscript Chapter 9 - Examples: DVI Postscript References: DVI Postscript Copies of slides 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

103. 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/

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

MlLanguage UserPreferences Fellowship of Hobbyist Programmers FrontPage RecentChanges TitleIndex WordIndex ... moin.sf.net 1 What is ML? 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. 2 Compilers Standard ML of New Jersey , the first and most popular SML compiler Objective Caml (see also OcamlLanguage MLton is the best optimizing SML compiler. Moscow ML (SML) ML Kit (SML) PolyML (SML) 3 Web resources Open Directory category Introduction to Programming in Standard ML : a thorough introduction to the language aimed at university students A Gentle Introduction to ML : notes from a university course 4 Why You Want to Start Using SML Today 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.

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

PC Assembly Programming Where to Get PC Assembly Tools MASM 6.15 Available 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.)

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

107. 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/

 The Nice programming language Documentation o Presentation o Tutorial o Manual online PDF PS o Getting started o Using the compiler Download User's corner o Collaborative site (Wiki) o Forums o Mailing List o Online discussion o Notify me of new versions o Report a bug Development o Roadmap o Tests o Coverage o Wiki o CVS o Contribute! Academic Research Presentation 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. Safety Nice detects more errors during compilation than existing object-oriented languages (null pointer accesses, casts exceptions). This means that programs written in Nice never throw the infamous NullPointerException nor ClassCastException . This aspect is developed in more details in this article Modularity 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

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

A Gentle Introduction to ML By Andrew Cumming Computer Studies Napier University Edinburgh Also in this series A Gentle Introduction to SQL A Gentle Introduction to XML This service is hosted by There are copies and other formats Contents Lessons Other resources Introductions Functional languages are introduced. Advice on how to use this document is given and CAL is dismissed. Contributions from readers are presented. Lesson One "Hello World" is our first program. Tutorial One concerns expressions and simple functions. Diversion: The Reconcilation Ball Self Test One: some multiple choice question to try. Lesson Two Types, bindings, pattern matching and lists are all introduced Tutorial two Diversion: Bitmaps Self Test Two. Lesson Three More on types, Currying and recursion Tutorial Three (simple recursion on integers) Diversion: The Mandelbrot Set Self Test Three. Lesson Four List processing. Tutorial Four (list and more lists) Lesson Five Incompleteness, Overlapping Left Hand Sides, Conditions, Anonymous Functions. Tutorial Five (even more recursion) Diversion: Language Translation. Lesson Six Common recursive patterns, map, reduce, zip

109. 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/

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.

110. 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/

COMP 144 Programming Language Concepts Spring 2004 Assignment: First ML Program Due Date: Wed March 3 Description 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.

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

Basics Archives Community Services ... File Archives Inserts ML program into video memory of TI-85 backup Inserts ML program into video memory of TI-85 backup FILE INFORMATION Ranked as 10558 on our all-time top downloads list with 2034 downloads. Ranked as 20087 on our top downloads list for the past seven days with 1 downloads. 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

112. 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/

COMP150 FLP: ML program examples This page gives the source of programs used in class in chronological order. Some of these are taken directly or adapted from the text. starting.sml lists.sml and morelists.sml Partial functions with options and exceptions exceptions.sml The module system: signatures and structures SimpleArithmetic.sig and intSimpleArith.sml stack.sig and stack.sml rationals.sml and rationals.sig Higher Order functions: in general hof.sml , built in functions for lists hof2.sml , and examples in a dictionary hof3.sml Defining new types datatypes.sml Modular programming with functors.sml Roni Khardon

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

AI on the Web 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 Highly Recommended Links Intelligent Agents Search and Game Playing ... AI Programming (Prolog) Or if you can't find it here, you can search elsewhere: CiteSeer Overview of AI Reference AI FAQ* AI Patents AI Patents AI Topics* ... What is AI* Lists of Links 100 Top Cogsci Works AI Education AI Virtual Library AI on the WWW ... Yahoo list Organizations AAAI* ACM list* AISB ECCAI ... SIGART* Journals AI Magazine AI Review Artificial Intelligence* CS Tech Reports ... PC AI People AAAI Fellows* Allen, James Brooks, Rod Charniak, Eugene ... Zadeh, Lotfi Companies AI Companies* AI Company Acknosoft Agentland ... comp.ai.jair.announce Software AARON (CyberArt) CMU Repository* Research Groups AIAI Austrian AI Brown CMU* ... Yale Books AIMA Bibliography* AIMA Home* Amazon.com's list* Bender ... Winston Highly Recommended Links Reference AI FAQ* AI Topics* AIMA Bibliography* AIMA Home* ... Python.org*

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

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