41. Tutorial Papers In Functional Programming John Hughes' list of FP-related tutorials and courses.Category Computers Programming Languages Functional...... This is a course given for postgrads at the University of Edinburgh, and coversan introduction to ml programming, some underlying theory, and formal program http://www.math.chalmers.se/~rjmh/tutorials.html

Tutorial Papers in Functional Programming Feel free to email me additional suggestions! (Preferably as HTML source for the link). Programming Why Functional Programming Matters John Hughes Notes on Functional Programming with Gofer by H. Conrad Cunningham Introduction to Functional Programming using Gofer , by P.E.Wentworth (100 pages). Functional Programming by Jeroen Fokker Higher Order Functions for Parsing Graham Hutton Monadic parser combinators ... Graham Hutton and Erik Meijer , an updated version of the above using a parser monad. There are also two parsing libraries in Gofer, one more sophisticated than the other Functional Parsers Jeroen D. Fokker Monads for functional programming , Phil Wadler. Mike Gordon's lecture notes on functional programming , covering the lambda-calculus and ML. Simon Thompson's Programming it in Haskell (based on Polya's How to Solve it ). Brief and nice! Graham Hutton's tutorial on fold . Explains the universality property of fold, and its uses to quote Graham, "all sorts of things that every functional programmer should know about fold". Confusomorphisms for dummies! Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

42. DevCritic.com - Programming And Web Development Resource Standard ML of New Jersey Standard ML of New Jersey (SML/NJ) is a compilerand programming environment for the Standard ml programming language. http://www.devcritic.com/sites/ML/

Home About Us Advertising Contact Us Main Menu Home About Us Advertising Mailing List ... Contact Us Resources Site Directory Developer Tutorials Developer FAQ Developer Glossary ... Script Archive Site Owners Add A Site Modify Your Site Advertise Script Archive Add Resource Modify a Resource Browse Resources Our Sponsors You Are Here: Home Edinburgh ML - an ML interpreter for a wide number of platforms Moscow ML - ML system for DOS, Linux, Windows. Standard ML of New Jersey - Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language The ML Kit with Regions - an ML compiler which can compile to ANSI C code or HP PA-RISC native code Index of /home/edml/Non-Local_Ports/IBM-PC - ports of Edinburgh ML to DOS FTP: Index of /pub/Os/Ibmpc/os2/lang/sml/ - Has Edinburgh ML ports to OS/2 and 32-bit DOS. A Gentle Introduction to ML - a tutorial for the Standard ML language. FTP: sml2c Converter - sml2c translates standard ML programs into ANSI C. MLton - MLton is a whole-program optimizing compiler for the Standard ML programming language. Visual ML - A portable GUI toolkit for ML ML Tutorial - A short tutorial on using ML in the SML environment Open-source release of MLj - MLj: an SML to Java bytecode compiler, based on Persimmon's MLj

43. Course Administrative Information This course uses a detailed examination of the Java and ml programming languagesas a basis for studying fundamental principles underlying the design and http://www-edlab.cs.umass.edu/cs530/course-admin2003.html

CMPSCI 530/691F (630) Programming Languages Spring 2003 Course Administrative Information Instructor Prof. Jack C. Wileden Office: Computer Science 206 Phone: (413) 545-0289 Email: wileden@cs.umass.edu Course Overview Prerequisites and Co-requisite CMPSCI 287, 320 and 377 (or equivalent) are prerequisites for CMPSCI 530. CMPSCI 401 is a co-requisite. For CMPSCI 630, PEEAS and NTU students, the prerequisite is permission of the instructor. If you are uncertain about whether you have satisfied the prerequisites, please check with the instructor. Course Structure Class meetings will mostly be lectures, but some discussion and student presentations may take place. Students are encouraged to ask any pertinent questions and participate actively in discussions. There will be several written homework assignments, several programming assignments, a project and possibly a few in-class "pop" quizzes. Computing Resources The workstations in the Education Lab in the Lederle Graduate Research Tower 223 and 225 will be available for use by on-campus students in completing course assignments. Manuals relating to the use of the workstations and software are available in the laboratory. Off-campus students must, and on-campus students may, use another computing system instead of using the EdLab. Access to a Java programming environment, an ML programming environment and at least one other modern programming language (e.g., C++, C#, Ada 95, CLOS or Modula-3) will be necessary for completing the programming exercises and projects.

44. Standard ML R. Harper, Programming in Standard ML . Hopefully the above compilers and documentsshould be more than enough to get started with ml programming. http://www.lfcs.informatics.ed.ac.uk/software/ML/

LFCS People Publications Informatics Laboratory for Foundations of Computer Science The Standard ML Language 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++). Standard ML Documents 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.

45. DePaul University Programming in Standard ML '97 An Online Tutorial. by Stephen Gilmore. Jeff Ullman,Elements of ml programming, 2nd (ML97) edition, Prentice-Hall, 1998. http://www.depaul.edu/~jriely/csc447win2003/links-main.html

46. Applicative Programming Reading List Good books which refer to the 1990 revision of the language are Ullman 's ``Elementsof ml programming'' Ull94, Sokolowski 's ``Applicative HighOrder http://www.disi.unige.it/person/MoggiE/LP/SML/NOTES/node8.html

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.

47. FME Review Of Education Resources and Formal Semantics, Aarhus, O. Danvy, Functional Programming, Formal Semantics(operational, axiomatic, denotational etc), The Standard ml programming Language, http://www.di.uminho.pt/FME-SoE/restab.html

FME Review of Education Resources FME In Europe Outside Europe Last update: Currently: 67 modules. Review performed by FME-S O E E-mail education@fmeurope.org In Europe Ref Year Module Institution Contact ADT AI ARef AS ASe Alloy AoP B CCS CSP CTL DM DRef FOL FP FPT FS FixP GPr HL Haskell IVDM LOTOS LTL LamC MC MPC ObjectZ PCC PV Petri PiC RC RSL Refinement in B SML Safety ScTD TL TLA TS TT VDM Z elotos vdmPlus CADP CASL CWB FDR Gofer Hugs Jape NuSMV PicT RAISE SPIN STeP SWIP TRIO TrL UPPAAL ZEves ZTC btlk eml fUZZ vdmT ascg-01 Action Semantics and Compiler Generation Aarhus P.D. Mosses dSprogSem Programming Languages and Formal Semantics Aarhus O. Danvy Formal Specification ... K. Broda BSc 2 Software and Systems Design Kent R. Lemos BSc 2 Theory of Computer Science Kent J. Derrick BSc 3 Distributed Systems Kent E.A. Boiten BSc 3 Software Failure and Risk Kent R. Lemos BSc 3 Formal Program Development Kent E.A. Boiten MSc Formal Methods Kent H. Bowman Program Verification and Specification ... King's College CSMMTL Modal and Temporal Logics King's College A. Kurucz Formal Methods ... D. Buchs S 4/7 Formal Aspects of Software Engineering I Lyngby A. Haxthausen S 7/9 Formal Aspects of Software Engineering II Lyngby D. Bjørner

48. Computers/Programming/Languages/ML html Standard ML of New Jersey Standard ML of New Jersey (SML/NJ) is a compilerand programming environment for the Standard ml programming language URL http http://www.technology-and-computers.com/Computers/Programming/Languages/ML/

Search: Welcome to the technology-and-computers.com search portal. Whether you are looking for information about the Internet, PCs, laptops, software, hardware or various other forms of technology, this is the destination for you. Technology-and-computers.com is the innovative search portal dedicated to providing a wide-range of technology and computer resources. The objective of the technology-and-computers.com search portal is to accumulate an all-inclusive and up to date directory of technology resources. Here you will find links to technology related news, articles, product reviews, Web sites and more. No matter if you are a novice Web user or a tech wizard, technology-and-computers.com has something to offer you. Feel free to peruse the directory or perform a search for your specific technology-related request. Computers Programming Languages ML Caml ML OSs Objective Caml Moscow ML ML system for DOS Linux Windows. URL: http://www.dina.kvl.dk/~sestoft/mosml.html Standard ML of New Jersey Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language URL: http://cm.bell-labs.com/cm/cs/what/smlnj/

49. Slashdot:Review:Elements Of ML Programming Review Elements of ml programming, AM Kuchling has sent a review of JeffreyD. Ullman's book Elements of ml programming . The book is q http://slashdot.org/articles/98/12/28/0922231.shtml

OSDN Devchannel Newsletters Shop Slashdot All OSDN Sites freshmeat DevChannel Linux.com NewsForge OSDN.com Slashcode SourceForge.net X faq code awards ... hof Sections apache Apr 2 apple Apr 7 (3 recent) askslashdot Apr 7 (3 recent) books Apr 7 (1 recent) bsd Apr 7 (2 recent) developers Apr 7 (3 recent) features Apr 6 (1 recent) interviews Mar 31 radio Jun 29 science Apr 7 (11 recent) yro Apr 7 (7 recent) Review: Elements of ML Programming Posted by Hemos on Monday December 28, @09:22AM from the may-have-to-use dept. A.M. Kuchling has sent a review of Jeffrey D. Ullman's book Elements of ML Programming . The book is q Norway says probe any machine you want Related Links A.M. Kuchling More on News Also by Hemos The Fine Print: The following comments are owned by whoever posted them. Slashdot is not responsible for what they say. ( Switch to Threaded Reply Down One Up One (Warning:this stuff might be beta right now) The Fine Print: The following comments are owned by whoever posted them. Slashdot is not responsible for what they say. ( Switch to Threaded Reply Down One Up One (Warning:this stuff might be beta right now) The difference between a Miracle and a Fact is exactly the difference between a mermaid and a seal. Mark Twain

50. CS 510: Programming Languages 12/1, Concurrent Programming in Java, PS 9 due. 12/4, Concurrent ML, Reppy 3. Elementsof ml programming, 2nd edition, by Jeffrey D. Ullman, Prentice Hall, 1998. http://www.cs.princeton.edu/courses/archive/fall00/cs510/schedule.html

Princeton University Computer Science Dept. Computer Science 510 Programming Languages Andrew W. Appel Fall 2000 Directory General Information Schedule and Readings Assignments Announcements Schedule (subject to rearrangement) Date Topic Reading Introduction ; ML Ullman ML Ullman Inductive definitions; ML Harper 1; Ullman Syntax, scope, and substitution; MinML Harper 2 PS 1 due MinML abstract syntax; types Harper 3 Static semantics Harper 4 Dynamic Semantics Harper 5 PS 2 due Type safety Harper 6 Evaluation semantics Harper 7 Abstract machines Harper 8.1, 8.2 PS 3 due Environments and closures Harper 8.3 Computational effects Harper 9.1, 9.2 Exceptions Harper 9.3 PS 4 due Type Reconstruction Harper 11 Unification Harper 11.4; Reconstruction example Midterm review Harper 1-13; Ullman 1-7 PS 5 due Expression equivalence Harper 12 Continuations Harper 10 Take-Home Midterm Exam Due Covers through October 20 Midterm Midterm Break Polymorphism Harper 13 Data abstraction Ullman 8; Harper 14.1 Existential types Harper 14.2 PS 6 due Representation independence Harper 14.3

51. CS 510: Programming Languages 11/30, Concurrent Programming in Java, PS 8 due. 12/3, Concurrent ML, Reppy 3. Elementsof ml programming, 2nd edition, by Jeffrey D. Ullman, Prentice Hall, 1998. http://www.cs.princeton.edu/courses/archive/fall01/cs510/schedule.html

Princeton University Computer Science Dept. Computer Science 510 Programming Languages Andrew W. Appel Fall 2001 Directory General Information Schedule and Readings Assignments Announcements Schedule (subject to rearrangement) This schedule is a very rough sketch and will certainly be rearranged significantly. Date Topic Reading Introduction ; ML Ullman ML Ullman Inductive definitions; ML Harper 1; Ullman Syntax, scope, and substitution; MinML Harper 2,3,4 PS 1 due MinML abstract syntax; types Harper 5, 6.1; Free Variables note Static semantics Harper 6 Dynamic Semantics Harper 7 PS 2 due Type safety Harper 8 Evaluation semantics Harper 9 Abstract machines Harper 13.1 PS 3 due Environments and closures Harper 13.2 Computational effects Harper 17 Exceptions Harper 15 PS 4 due Type Reconstruction Harper 20 Unification Harper 20.4; Reconstruction example Data structures Harper 11 PS 5 due Expression equivalence Harper 21 Expression equivalence Harper 21 Continuations Harper 10 Take-Home Midterm Exam Due Midterm Break Polymorphism; discussion of midterm Harper 22 Polymorphism; discussion of midterm

52. CS558 Programming Languages Jeff Ullman, Elements of ml programming, 2nd (ML97) edition, PrenticeHall, 1998.Matthias Felleisen and Daniel P. Friedman, The Little MLer, MIT Press, 1998. http://www.cs.pdx.edu/~apt/cs558_2002/

CS558 Programming Languages Winter 2002 Instructor: Andrew Tolmach Course Information Syllabus (postscript) (pdf) Schedule ... (pdf) Lecture Notes and Supporting Code Introduction 1/9/02 (pdf) (4up postscript) (4up pdf) (REVISED 1/16/02 3pm) Semantics; Attribute Grammars; Names and Scope 1/16/02 (pdf) (4up postscript) (4up pdf) (REVISED 1/23/02 11:45am) Procedures as Parmaters; Functional Programming; State; Structure Control Flow 1/23/02 (pdf) (4up postscript) (4up pdf) (REVISED 1/31/02 11:59am) Programming with Invariants; Axiomatic Semantics 1/30/02 (pdf) (4up postscript) (4up pdf) Introduction to Typing 2/6/02 (pdf) (4up postscript) (4up pdf) Procedures and parameters; Recursion; Exceptions 2/20/02 (pdf) (4up postscript) (4up pdf) Datatypes; Type equivalence; Abstract types 2/27/02 (pdf) (4up postscript) (4up pdf) (REVISED 2/28/02 11:35am) Object-oriented Programming 3/6/02 (pdf) (4up postscript) (4up pdf) (REVISED 3/7/02 1:50pm) Modules; Polymoprhism 3/13/02 (pdf) (4up postscript) (4up pdf) Exams Sample Midterm Exam with suggested solutions (pdf) (postscript) (UPDATED 11 Feb 02 12:20pm) Homework Assignments Homework 1 (due 1/16/01) (postscript) (pdf) hw1_1.java

53. CS558 Programming Languages Jeff Ullman, Elements of ml programming, 2nd (ML97) edition, PrenticeHall,1998. Implementations A light-weight linux or windows http://www.cs.pdx.edu/~apt/cs558_2001/

CS558 Programming Languages Fall 2001 Instructor: Andrew Tolmach Course Information Syllabus (postscript) (pdf) UPDATED 11Oct01 10:25am Schedule (postscript) (pdf) UPDATED 11Oct01 11:20am Lecture Notes and Supporting Code Introduction 9/26/01 (no html this time sorry) (pdf) (4up postscript) (4up pdf) UPDATED 28Sep01 11:30am (html poor quality) (pdf) (4up postscript) (4up pdf) UPDATED 4Oct01 2:35pm Variables; Expressions; Order of Evaluation 10/10/01 (html poor quality) (pdf) (4up postscript) (4up pdf) UPDATED 18Oct01 1:55pm Flow of control; Recursion removal 10/17/01 (html poor quality) (pdf) (4up postscript) (4up pdf) Procecures; Parameter Passing; Exceptions 10/24/01 (html poor quality) (pdf) (4up postscript) (4up pdf) Types; Type Equivalence; Abstract Data Types 11/7/01 (html poor quality) (pdf) (4up postscript) (4up pdf) Modules; Polymorphism 11/14/01 (html poor quality) (pdf) (4up postscript) (4up pdf) Object-oriented Programming 11/21/01 (html poor quality) (pdf) (4up postscript) (4up pdf) UPDATED 29Nov01 11:55am Java vs. ML; Garbage collection 11/28/01 (html poor quality) (pdf) (4up postscript) (4up pdf) Exams Midterm topics list Sample Midterm Questions (postscript) (pdf) Final exam topics list Homework Assignments Homework 1 (due 10/3/01) (postscript) (pdf) hw1_1.sml

54. Lab #1: Programming In ML Lab 1 Programming in ML. Late submissions are not accepted. 1. Problem. Your assignmentis to experiment with ml programming and write 3 small functions in ML. http://www.lfc.edu/~hummel/S03/cs318/lab1/lab1.htm

Lab #1: Programming in ML Due Wednesday, January 29 th When (at the start of class) What bring printout to class; electronically submit ML program file via FTP Working alone, solve the following programming assignment. Keep in mind that academic dishonestly is defined as the giving or receiving of aid (see the course syllabus for more details). Late submissions are not accepted. Problem Your assignment is to experiment with ML programming and write 3 small functions in ML. You can work in the department's computer lab on one of the PCs, or work on your own PC. If you decide to work on your own computer, surf to http://math.lfc.edu/software.html for instructions on installing ML; software is available for PC, Mac, and Linux. Please note that all announcements, in particular changes to program assignments, are made both in class and to the course web page. You are expected to periodically check the course web page at http://www.lfc.edu/~hummel/S03/cs318.html for updates, extensions, etc. Using SML Since I/O is so cumbersome in ML, a program file is being provided with some pre-written functions. Surf to the course web page and download the lab1 file "program.txt".

55. CSE 230 ISBN 019-511306-3. Elements of ml programming, ML97 Edition, by JeffreyUllman, Prentice Hall, 1997. ISBN 0-13-790387-1. Stansifer http://www.cs.ucsd.edu/users/goguen/courses/230/

CSE 230 Homepage Principles of Programming Languages Winter 2003 Notices From now on, we meet in APM 5218 instead of WHL 2114 (or APM 4218). The website for this class is in progress, and so many links are not yet enabled. For some hints about their content, you may see last year's version of CSE 230 - however, this year's class uses some different texts and has a somewhat different emphasis (e.g. less ML and a slower pace). There is no final exam for this class; instead, a final project is required, a written report on which is due on the last day of this class. The class is small enough to be run in seminar style; therefore students will be responsible for presenting some material in the class, and homework will be discussed in class. Please read the Integrity of Scholarship Agreement maintained by Scott Baden and the offical UCSD policies on Plagariasm ; you are expected to abide by these rules. Synopsis Some general features, history and comparison of programming languages. Abstract and concrete syntax; induction. Semantics of imperative languages. Types and modules; type systems and module systems. Functional programming and the lambda calculus; ML; logic programming. Denotational semantics; term rewriting; program specification and verification. The course will conclude with a brief discussion of "internet languages" like HTML, Java, JavaScript, Perl, and XML. In addition to the usual topics, this course will include some formal methods and a little on social and historical aspects. We consider what languages are, how they are used, what they mean, and how and why they differ, rather than focus exclusively on programming.

56. Information On CS334 Elements of ml programming SML '97 edition by Jefferey D. Ullman. Homework. Otherhelpful readings or resources Programming in Standard ML by Robert Harper. http://www.cs.williams.edu/~kim/cs334/s00/

CS 334 Principles of Programming Languages Spring, 2000 Concepts and structures governing the design and implementation of modern programming languages. Run-time representations of traditional block structured languages, typing systems, abstraction and procedure mechanisms, and storage management. Special emphasis on object-oriented and functional languages, their type systems, and operational semantics. Prerequisite: CSCI 136 Course Information Instructor Kim Bruce , kim@cs.williams.edu, 200 Bronfman, X2273 Office Hours : T 2:30-3:45, W 1:15-2:15, Th 2:30-3:30, and by appointment TA : Art Munson is the CS334 TA. He will mainly be helping grade homework. Texts Programming Languages: Principles and Practices , Kenneth C. Louden. Elements of ML Programming: SML '97 edition by Jefferey D. Ullman. Various papers will also be handed out through the term. Reserve Books : Several other texts can be found on the Reserve Shelf in the southwest corner of the Math/CS library in Bronfman. These include both general programming language texts as well as various language manuals. Please do not remove any of these books from the library. Course Description Lecture and Reading Schedule Homework Other helpful readings or resources: Programming in Standard ML by Robert Harper. This is an excellent overview of all aspects of ML.

57. Information On CS334 Preprint. Elements of ml programming SML '97 edition by Jefferey D. Ullman. Otherhelpful readings or resources Programming in Standard ML by Robert Harper. http://www.cs.williams.edu/~kim/cs334/s02/

CS 334 Principles of Programming Languages Spring, 2002 Concepts and structures governing the design and implementation of modern programming languages. Run-time representations of traditional block structured languages, typing systems, abstraction and procedure mechanisms, and storage management. Special emphasis on object-oriented and functional languages, their type systems, and operational semantics. Prerequisite: CSCI 136 Course Information Instructor Kim Bruce , kim@cs.williams.edu, 305 TCL, X2273 Office Hours : M,W,Th 2-3pm, F 1:30-2:30pm, and by appointment TA : Chris Cyll is the CS334 TA. He will mainly be helping grade homework. Texts Programming Languages: Principles and Practices, 2nd edition , Kenneth C. Louden. Preprint Elements of ML Programming: SML '97 edition by Jefferey D. Ullman. Various papers will also be handed out through the term. Course Description Lecture and Reading Schedule Homework Other helpful readings or resources: Programming in Standard ML by Robert Harper. This is an excellent overview of all aspects of ML. Choose the on-line or off-line version. A Gentle Introduction to ML , an ML tutorial by Andrew Cumming of Napier University, Edinburgh.

58. Alexa Web Search - Subjects > Computers > Programming > Languages > ML Standard ML of New Jersey Standard ML of New Jersey (SML/NJ) is a compiler and programmingenvironment for the Standard ml programming language cm.belllabs.com http://www.alexa.com/browse/general?catid=6200&mode=general

59. DEVSEEK: Programming : Languages : ML Programming Languages ML Options. MLton MLton is a whole-programoptimizing compiler for the Standard ml programming language. http://www.devseek.com/Programming/Languages/ML/

: Programming : Languages : ML Options HOME WHAT'S COOL TECH NEWS Links: A Gentle Introduction to ML - a tutorial for the Standard ML language. http://www.dcs.napier.ac.uk/course-notes/sml/manual.html (Added: 19-Jan-1999 ) Comp.Lang.ML FAQ, Monthly Posting http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html (Added: 19-Jan-1999 ) Edinburgh ML - an ML interpreter for a wide number of platforms http://www.dcs.ed.ac.uk/home/edml/ (Added: 19-Jan-1999 ) FTP: Index of /pub/Os/Ibmpc/os2/lang/sml/ - Has Edinburgh ML ports to OS/2 and 32-bit DOS. ftp://ftp.uni-passau.de/pub/Os/Ibmpc/os2/lang/sml/ (Added: 19-Jan-1999 ) FTP: sml2c Converter - sml2c translates standard ML programs into ANSI C. ftp://ftp.funet.fi/pub/languages/ml/sml2c/ (Added: 19-Jan-1999 ) Harlequin MLWorks - World's first graphical SML development environment. http://www.harlequin.com/products/ads/ml/ (Added: 19-Jan-1999 ) Index of /home/edml/Non-Local_Ports/IBM-PC - ports of Edinburgh ML to DOS http://www.dcs.ed.ac.uk/home/edml/Non-Local_Ports/IBM-PC/ (Added: 19-Jan-1999 ) ML Tutorial - A short tutorial on using ML in the SML environment http://cs.wwc.edu/Environment/SML-Tutorial.html

60. F# FAQ To implement the core features of an ml programming language on the .NET platform,conforming to the ILX interoperability standards for functional languages;. http://research.microsoft.com/projects/ilx/fsharp-faq.htm

F# FAQ Sections Up Why a new .NET programming language? There are several niches for ML-like languages on the .NET platform. In particular, ML-like languages are excellent for writing compilers and any large tools that process tree-structured data terms. They are also excellent for general data and systems programming tasks, and for writing libraries where the data model is not designed to be particularly extensible by the user. The features of an ML-like language are strong static type checking, excellent type inference, lightweight and typesafe function types, safe and syntactically convenient discriminated unions. These langauges have a general simplicity that has inspired generations of researchers to use these languages as a starting point for other language research. That is not to say that ML-like languages are perfect: There are some complications for these languages on the .NET platform due to poor feature-interaction between subtyping, overloading and type inference; ML-like langauges have their problems: in particular they lack the extensibility mechanisms of class-based languages.

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