Home  - Basic_M - Ml Programming

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

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

Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected ... Computer Science and General Issues) Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected ... Computer Science and General Issues) Programming Language C Per. from English. (Vol 5) / Yazyk programmirovaniya C per. s angl.(izd 5) by Gay L. Stil ml. Semyuel P. Kharbison III, 2009 Programming Languages Created in 1990: Standard Ml Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected ... Computer Science and General Issues) The MDL programming language primer (MIT/LCS/ML-81-1) by Michael Dornbrook, 1981 Mathematics for 3D Game Programming and Computer Graphics, Second Edition (Game Development Series) by Eric Lengyel, 2003-11-18 Machine Learning Proceedings 1991 (Ml91) Elementary Standard ML by Gregory Michaelson, 1995-12-22 Advanced Lectures on Machine Learning: ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised ... / Lecture Notes in Artificial Intelligence) The Little MLer by Matthias Felleisen, Daniel P. Friedman, 1997-12-19 Procedural Programming Languages: C, Perl, Fortran, Php, Algol, Pl|i, Ml, B, Common Lisp, Euphoria, Oberon, Modula, Clu, Occam, Plankalkül Extended ML Dependent ML

lists with details

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
    
    Extractions: Feel free to email me additional suggestions! (Preferably as HTML source for the link). 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/
    
    Extractions: 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
    
    Extractions: Email: wileden@cs.umass.edu 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. 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. 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/
    
    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.

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

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
    
    Extractions: In Europe Outside Europe 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/
    
    Extractions: 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

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
    
    Extractions: 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.

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
    
    Extractions: General Information Schedule and Readings Assignments Announcements 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
    
    Extractions: General Information Schedule and Readings Assignments Announcements 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/

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/

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
    
    Extractions: 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/
    
    Extractions: 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/
    
    Extractions: Principles of Programming Languages 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 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 Course Description Lecture and Reading Schedule Homework 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/
    
    Extractions: Principles of Programming Languages 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 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 Course Description Lecture and Reading Schedule Homework 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/
    
    Extractions: 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
    
    Extractions: 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

41-60 of 81    Back | 1  | 2  | 3  | 4  | 5  | Next 20