61. Functional Programming Elements of ml programming. Prentice Hall, 1994. Schedule of previouslectures. Lecture 1. A survey of functional programming and ML. http://user.it.uu.se/~voronkov/FPcourse/fp_1996.htm

62. VC++ML (Programming With VC++) Visual C++ MFC, API, SDK, DDK, ActiveX, OLE, , ml, COM, Win32, Microsoft, Windows http://mfc.acty-net.ne.jp/ml/mfc

Visual C++ ŠÖ˜A‚̘b‘è‚𒆐S‚Æ‚µ‚½ƒ[ƒŠƒ“ƒOƒŠƒXƒg‚Å‚·B MFC, API, SDK, DDK, ActiveX, OLE, ŒfŽ¦”Â, ML, COM, Œ¾Œê Win32, Microsoft, Windows

63. A Gentle Introduction To ML Aims to familiarize user with programming language, offering eight separate lessons, language definitions, and FAQs. A Gentle Introduction to ml. By Andrew Cumming, Computer Studies, Napier University, Edinburgh map, reduce, zip. Tutorial Six (higher order programming). Diversion Bus routes 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

64. Programming In Standard ML '97: On-line Tutorial An online tutorial by Stephen Gilmore.Category Computers programming Languages ml...... Standard ml is a programming language which combines the elegance of functionalprogramming with the effectiveness of imperative programming. http://www.dcs.ed.ac.uk/home/stg/NOTES/

Programming in Standard ML '97: An On-line Tutorial Stephen Gilmore Laboratory for Foundations of Computer Science The University of Edinburgh September 1997 (Revised June 1998, Apr 2000, Jan 2003) 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. NEXT CONTENTS INDEX SUPPLEMENTARY INFORMATION

65. Standard ML Of New Jersey Sml/NJ, a compiler and programming environment for Standard ml language, with associated libraries, Category Computers programming Languages ml......Standard ml of New Jersey (abbreviated 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/

Standard ML 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. What's New 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] We have switched over to a new mailing list hosted by SourceForge . The name of the new list is . (To avoid receiving to much spam we do not show the name of the mailing list in clear text and render it as a JPG image instead. If spammers start using fancy OCR, we give up.) Working version 110.42 available. This relatively small but important update (among other things) fixes a memory leak problem in CML and provides support for MacOS X 10.2. (We have provided a MacOS disk image with pre-compiled runtime systems for both MacOS 10.1 and 10.2 for use by those without developer tools. See the README file within this disk image for details.)

66. Notes On Programming SML/NJ Included is a set of notes for programming Standard ml of New Jersey. Thisis very much work in progress, and comments and suggestions are welcome. http://www.cs.cornell.edu/riccardo/smlnj.html

Home Schedule School Recent Work ... SML/NJ Notes Links Conferences Notes on Programming SML/NJ While I was at Bell Labs, I was involved with the SML/NJ project, a compiler for the language Standard ML. Included is a set of notes for programming Standard ML of New Jersey. This is very much work in progress, and comments and suggestions are welcome. From the preface: Chapters 1 through 7 (Introduction, Core Language, Module System, Basis Library, Interactive Compiler, CM, SML/NJ Library) Postscript PDF Riccardo Pucella

67. The Caml Language A strongly-typed functional programming language from the ml family.Category Computers programming Languages ml Caml......The Caml language. Version française. Caml is a stronglytyped functionalprogramming language from the ml family. OCaml (Objective http://caml.inria.fr/

The Caml language Version française Caml is a strongly-typed functional programming language from the ML family. OCaml (Objective Caml) and Caml Light are two open source implementations of Caml developed at INRIA Rocquencourt projet Cristal News: An Objective Caml program wins first prize at the ICFP 2002 programming contest Bug-fix release 3.06 of Objective Caml. Objective Caml 3.05 released. A preliminary version of the book Developing applications with Objective Caml is available on-line. Objective Caml 3.04 released. Test release 3.03 alpha available for testing Release 3.02 of Objective Caml, available here Objective Caml ranks 2nd on speed (between C and C++) on Doug Bagley's computer language shootout Older news... Overview: General information about Caml. How to get the compilers A taste of Caml A short technical overview of Caml. The Caml consortium Comments from Caml users. Significant applications written in Caml. The Humps : links to Caml-related tools, libraries, code samples, tips, etc. Documentation: Frequently asked questions (FAQ about Caml).

68. Freshmeat.net: Browse Project Tree - Programming Language :: ML freshmeat maintains the Web's largest index of Unix and crossplatform open source software. Thousands of applications are meticulously cataloged in the http://freshmeat.net/browse/172/

OSDN: DEVCHANNEL NEWSLETTERS SHOP SEARCH: All OSDN Sites freshmeat DevChannel Linux.com NewsForge OSDN.com OSDN PriceCompare Slashcode Slashdot SourceForge.net Wed, Apr 09th home browse articles ... scoop 18:12 PST Search for in projects articles comments this category Section Main Software Mac OS X Palm Themes login register recover password Available sub-categories Programming Language ML Browse by Development Status Environment Intended Audience License ... Topic 25 projects found Pick a filter to add: Not logged in Sort order: Not logged in bibgrep Indexes and searches BibTex files using Google-like queries. Development Status :: 4 - Beta [filter] Environment :: Console (Text Based) [filter] ... [filter] Added: 15-Mar-2003 Updated: 15-Mar-2003 Rating: (not rated) Vitality: Popularity: License: GNU General Public License (GPL) Version: Alt Text No screenshot FaCiLe A Constraint Programming OCaml library. Development Status :: 4 - Beta [filter] Intended Audience :: Developers [filter] ... [filter] Added: 04-Jul-2001 Updated: 05-Jul-2001 Rating: (not rated) Vitality: Popularity: License: GNU Lesser General Public License (LGPL) Version: No screenshot FFTW The Fastest Fourier Transform in the West Development Status :: 5 - Production/Stable [filter] Intended Audience :: Developers [filter] ... [filter] Added: 27-Aug-1998 Updated: 01-Apr-2003 Rating: Vitality: Popularity: License: GNU General Public License (GPL) Version: No screenshot GeneWeb A genealogy program with a Web interface.

69. The Nice Programming Language OO language based on, integrated with, Java (compiler produces java bytecode); features of functional Category Computers programming Languages Object-Oriented...... Many repetitive programming tasks can be avoided by using Nice's advanced features createdand manipulated as firstclass expressions, just like in Lisp and ml. http://nice.sourceforge.net/

The Nice programming language Documentation o Presentation o Tutorial o Manual o Using the compiler Download User's corner o Wiki   Dev Doc o Forums o Mailing List o Be notified of new versions o Report a bug Development o Roadmap o CVS Academic Research Presentation Nice is a new object-oriented programming language based on Java. It 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 methods to existing classes without modifying their source file. This is a special case of multi-methods Expressivity Many repetitive programming tasks can be avoided by using Nice's advanced features. Ever got bored of writing tons of loops, casts, overloaded methods with default values, ... ?

70. Programming In Standard ML '97 Abstract Standard ml is a programming language which combines the elegance offunctional programming with the effectiveness of imperative programming. http://www.lfcs.informatics.ed.ac.uk/reports/97/ECS-LFCS-97-364/

Programming in Standard ML '97: A Tutorial Introduction Stephen Gilmore Abstract: 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. This report is also available in a hypertext version ECS-LFCS-97-364 This report is available in the following forms. LaTeX DVI file (336 Kbytes) Gzipped LaTeX DVI file (136 Kbytes) PostScript file with Type 1 fonts (1568 Kbytes) Gzipped PostScript file with Type 1 fonts (808 Kbytes) Adobe Acrobat document in Portable Document Format (760 Kbytes) Gzipped Adobe Acrobat document in Portable Document Format (600 Kbytes) PostScript file (560 Kbytes) Gzipped PostScript file (208 Kbytes) UNIX tape archive of the hypertext version (1336 Kbytes) Gzipped UNIX tape archive of the hypertext version (320 Kbytes)

71. PLDI 98 Tutorial -- References 1994. Z. Shao and A. Appel, A typebased compiler for Standard ml,programming Language Design and Implementation, 1995. D. Tarditi http://pauillac.inria.fr/~xleroy/talks/references-pldi98.html

Compilation techniques for functional and object-oriented languages References Basic techniques and overviews of whole compilers 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. Intermediate languages and translation to C 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.

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

73. Journal Of Functional Programming -- 1993 Andrew W. Appel and Robert Harper. Special issue on ml. Journal of FunctionalProgramming , 3(4)389, October 1993. BibTeX entry. Andrew W. Appel. http://www.dcs.gla.ac.uk/jfp/bibliography/jfp93.html

Journal of Functional Programming 1993 January 1993, Volume 3, Number 1 Henk Barendregt Paul Hudak John Hughes Simon Peyton Jones , and Philip Wadler . Editorial. Journal of Functional Programming , 3(1):1-2, January 1993. [ BibTeX entry Simon Thompson and Philip Wadler . Functional programming in education Introduction. Journal of Functional Programming , 3(1):3-4, January 1993. [ BibTeX entry Tim Lambert Peter Lindsay , and Ken Robinson . Using Miranda as a first programming language. Journal of Functional Programming , 3(1):5-34, January 1993. [ BibTeX entry Phil Molyneux . Functional programming for business students. Journal of Functional Programming , 3(1):35-48, January 1993. [ BibTeX entry Stef Joosten (ED.) Klaas Van Den Berg , and Gerrit Van Der Hoeven . Teaching functional programming to first-year students. Journal of Functional Programming , 3(1):49-65, January 1993. [ BibTeX entry Rachel Harrison . The use of functional languages in teaching computer science. Journal of Functional Programming , 3(1):67-75, January 1993. [ BibTeX entry Lennart Augustsson . The interactive Lazy ML system. Journal of Functional Programming , 3(1):77-92, January 1993. [

74. Dictionary Of Programming Languages ml is the name for a family of functional programminglanguages ml, Sml, Sml/NJ, CAml, Eml, and others. The features...... http://cgibin.erols.com/ziring/cgi-bin/cep/cep.pl?_key=ML

75. Visual Foxpro Training, Consultancy And Programming (UK And USA). Visual Foxpro programming, SQL server and Crystal Reports training. Located in Scotland.Category Computers Consultants Business Systems......Mike Lewis Consultants Ltd Visual FoxPro training, consultancy and programmingMike Lewis Consultants Ltd. Fee guide. Consultancy and programming services. http://www.ml-consult.demon.co.uk/

Mike Lewis Consultants Ltd 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 services are available throughout the USA, Canada, the UK and the rest of Europe. We also offer training in Microsoft SQL Server and Crystal Reports. Training Our Visual Foxpro 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. Overview of training services Course outlines Fee guide Only two places remaining on Visual Foxpro Stage 3 (advanced), Edinburgh, 7 - 9 May 2003. Details Attention: Training companies. We are looking for partners to help us bring our courses to a wider audience. We are especially interested in talking to established training companies in the north east United States and eastern Canada. Read more.

76. UT ML Group: Inductive Logic Programming http://www.cs.utexas.edu/users/ml/publication/ilp.html

UT ML Group : Inductive Logic Programming Inductive logic programming (ILP) studies the learning of (Prolog) logic programs and other relational knowledge from examples. Most machine learning algorithms are restricted to finite, propositional, feature-based representations of examples and concepts and cannot learn complex relational and recursive knowledge. ILP allows learning with much richer representations. Our work has focussed on applications of ILP to various problems in natural language and theory refinement for logic programs. Publications Relational Data Mining with Inductive Logic Programming for Link Discovery Abstract Gzipped PS PDF] Proceedings of the National Science Foundation Workshop on Next Generation Data Mining, Baltimore, MD, November 2002. Bottom-Up Relational Learning of Pattern Matching Rules for Information Extraction Abstract Gzipped PS PDF] Mary Elaine Califf and Raymond J. Mooney Submitted to the Journal of Machine Learning Research Using Multiple Clause Constructors in Inductive Logic Programming for Semantic Parsing Abstract Gzipped PS PDF] Lappoon R. Tang and Raymond J. Mooney

77. Jon Kirwan: PC Assembly Programming/Where To Get PC Assembly Tools I've been using PC assembler programming since IBM's first version of the Microsoftprovides its professional assembler tool (ml and components) in a rather 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.)

78. Citations: Functional Programming Using Standard ML - Wikstrom (ResearchIndex) Retrieving documents Wikstrom, Ake Functional programming Using Standard ml ,Prentice Ha11(1987). A. Wikstrom. Functional programming Using Standard ml. http://citeseer.nj.nec.com/context/38372/0

45 citations found. Retrieving documents... Wikstrom, Ake: " Functional Programming Using Standard ML ", Prentice Ha11(1987). Home/Search Document Not in Database Summary Related Articles Check This paper is cited in the following contexts: First 50 documents Formal Requirements Engineering: Learning from the students - Gibson (2000) (Correct) ....to reach these goals. The case studies involved using a number of different formalisms; in this paper we report on using ACT ONE (an ADT[24] which forms part of the formal specification language LOTOS[5] for explaining abstraction, using Caml (a functional programming language, based on SML ) for explaining design transformations and equivalence, using OO ACT ONE [11] for explaining incremental development, using temporal logic (TLA[22] for explaining integration problems, and using purely operational state transition models for explaining the need for nondeterminism. This list is .... ....is not clear cut and there is no generally applicable measurement for level of abstraction within a specification model. 4. 2 Teaching importance of structure The original idea for this study came from working on graph algorithms, using Caml (a functional programming language based on SML

79. Honors Programming Languages, G22.3110 Honors programming Languages G22.3110 Fall 2001. Instructor Benjamin Goldberg Phone(212) 9983495; Email goldberg@cs.nyu.edu; WWW http//cs.nyu.edu/goldberg; http://www.cs.nyu.edu/courses/fall01/G22.3110-001/

Honors Programming Languages G22.3110 Fall 2001 Instructor : Benjamin Goldberg Phone: (212) 998-3495 Email: goldberg@cs.nyu.edu WWW: http://cs.nyu.edu/goldberg Office: 715 Broadway, Room 705. Office Hours: Mondays and Wednesdays, 12:00pm to 1:30pm and by appointment. Lectures: Mondays and Wednesdays 3:30pm - 4:45 p.m., 101 Warren Weaver Hall TA : Congchun He Office Hours: Tuesdays and Wednesdays, 1:30 pm - 3:00 pm Office: 719 Broadway, Room 705 Phone: 212-998-3515 Email: congchun@cs.nyu.edu Class Mailing List You must subscribe to the class mailing list: g22_3110_001_fa01@cs.nyu.edu To subscribe, go to http://www.cs.nyu.edu/mailman/listinfo/G22_3110_001_fa01 Course Syllabus Assignments Ada Programming Assignment, due Wednesday October 3 Scheme Programming Assignment, due Wednesday, October 24 ML Programming Assignment, due Monday, November 26 unify.sml ... SETL Assignment Course Materials The Lovelace Tutorial on Ada95 Sample Ada programs Using Gnat, the Ada compiler Scheme Reference Manual - R4RS (postscript) ... unify.sml (the ML unification code for use in type inference) Logic Programming and Prolog Lecture Notes (postscript) Running the Prolog system The GNU Prolog Home Page SETL Reference Manual (postscript) ... Denotational Semantics Lecture (.jpg's of handwritten notes)

80. CS 442/642 Homepage CS 442/642 Principles of programming Languages Winter 2003. UW MathUndergrad CS Course Info. Instructor Brad Lushman bmlushma http://www.student.math.uwaterloo.ca/~cs442/

CS 442/642 Principles of Programming Languages Winter 2003 [UW] [Math] [Undergrad] [CS] Course Info Instructor Brad Lushman bmlushma@plg.uwaterloo.ca TA's Jiongxiong Chen j7chen@plg Michael Laszlo MikeTheTA@hotmail.com Newsgroup uw.cs.cs442 Classes Held Tues./Thurs. 11:30am-1:00pm in MC4040 Midterm Tues., Feb. 18, in class. Location: PHYS 313 Final Exam Mon., Apr. 7, 19:00-22:00. Location: MC 1056 List Of Topics (for review purposes) Sample Midterm and Final Winter 2002 Midterm Winter 2001 Exam Electronic handouts Course Outline Errata for Course Notes Suggested Reading Assignment 1 ... Assignment 5 Web Resources The Scheme Programming Language The ML Programming language Standard ML of New Jersey Homepage The Haskell Programming Language ... SWI Prolog Homepage Stay tuned for more information [UW] [Math] [Undergrad] [CS] Report any problems with these pages to the maintainer

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 4     61-80 of 81    Back | 1  | 2  | 3  | 4  | 5  | Next 20