81. Table Of Contents All Rights Reserved. programming in Standard ml. Table of Contents Modularity and Reuse. Dynamic Typing. Concurrent programming. Sample Programs http://www.cs.cmu.edu/People/rwh/introsml/contents.htm

Table of Contents Home Next Table of Contents 1997, 1998 Robert Harper. All Rights Reserved. Programming in Standard ML Table of Contents Acknowledgements Overview of Standard ML ... Robert Harper

82. The Elf Meta-Language Constraintlogic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ml. http://www-2.cs.cmu.edu/~fp/elf.html

The Elf Meta-Language The Winchendon Group, Inc. Elf is a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. It has been applied to various examples, some of which are described in published papers accessible through a bibliography on LF and Elf . Others are described in the notes to a course on Computation and Deduction , which are not yet publicly available. There is also a more complete bibliography on logical frameworks in general. Work on LF and Elf at Carnegie Mellon University is supported by NSF grant CCR-9303383 (Principal Investigators Robert Harper and Frank Pfenning Implementation The implementation of Elf (click here to retrieve the sources as a compressed tar file) is an interpreter written in Standard ML and the execution is slow compared to Prolog. However, type-checking is quite efficient and there are number of optimizations which make it practical for small and medium-sized examples (click here to retrive the examples as a compressed tar file). The implementation also provides an Emacs interface for editing and interacting with an inferior Elf server process. There is no manual, but there are some helpful hints and implementation notes The principal contributors to this implementation of Elf are Frank Pfenning - main language implementation Ekkehard Rohwedder - pretty printing and tools Spiro Michaylov - efficiency improvements Thanks also to Conal Elliott and Ken Cline whose first Lisp prototype was influential on the design of this SML implementation.

83. UTCS Machine Learning Research Group This research group focuses on applying both empirical and knowledgebased learning techniques to natural language processing, text mining, recommender systems, inductive logic programming, knowledge and theory refinement, planning, and intelligent tutoring. http://www.cs.utexas.edu/users/ml/

Machine Learning Research Group University of Texas at Austin Department of Computer Sciences Artifical Intelligence Laboratory Positive Examples: Negative Examples: Machine learning is the study of adaptive computational systems that improve their performance with experience. The UT Machine Learning Research Group focuses on applying both empirical and knowledge-based learning techniques to natural language processing, text mining, recommender systems, inductive logic programming, knowledge and theory refinement, planning, and intelligent tutoring. For pictures of the group click here Faculty Raymond J. Mooney mooney@cs.utexas.edu Graduate Students Sugato Basu sugato@cs.utexas.edu Misha Bilenko mbilenko@cs.utexas.edu ... ywwong@cs.utexas.edu

84. The FLINT Project: Home Industrialstrength systems software for modern programming languages such as ml, Java and Safe C. http://flint.cs.yale.edu/

The FLINT project intends to build industrial-strength systems software for modern programming languages such as ML, Java, and Safe C. By using a strongly typed common intermediate language, we hope to achieve: common compiler infrastructure and runtime system for certified binaries; language- and platform-independent secure low-level mobile code; fine-grain interoperability among modern type-safe languages; systems programming support in higher-level languages; code efficiency through type-directed compilation and flow analysis. Contents Research An overview of our research agenda. People Who we are. Publications Published papers, technical reports, and talks online. Software Source code available for download. Support Research grants that support our work. Links Pointers to related projects and resources. Internal Restricted access. Information for members, ideas for student projects, etc. flint@cs.yale.edu Yale University Department of Computer Science colophon

85. ML Kit Home Page A compiler for the programming language Standard ml. http://www.it-c.dk/research/mlkit/

Download Documentation Papers Bugs ... About The ML Kit is a compiler for the programming language Standard ML. News The ML Kit version 4.1.1 is released; get it from the download page A Techical Report on the implementation of a region-based abstract machine for the ML Kit is available Paper appearing at PLDI'02 on combining region inference and garbage collection is available Main Novelties SML'97 The Kit covers all of Standard ML, as defined in the 1997 edition of the Definition of Standard ML . In particular, the Kit compiles Standard ML Modules, using a compilation scheme called static interpretation . The Kit implements most of the Standard ML Basis Library Region-Based Memory Management All memory allocation directives (both allocation and de-allocation) are inferred by the compiler, which uses a number of program analyses concerning lifetimes and storage layout. The ML Kit is unique among ML implementations in this respect. Garbage Collection The ML Kit supports reference-tracing garbage collection in combination with region memory management. Two Backends Two backends are provided, one that generates x86 native machine code for the Linux operating system and one that generates bytecode.

86. PLI 2002: ICFP The 2002 International Conference on Functional programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ml, Haskell) to novel language designs and to the functional aspects of objectoriented or concurrent languages. October 4-6, 2002 Pittsburgh, PA, USA. http://icfp2002.cs.brown.edu/

October 4-6, 2002 Pittsburgh, PA, USA Affiliated with PLI 2002 The ICFP conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages. Related Events PPDP GPCE (GCSE/SAIG) Workshops What are the Accepted Papers? Please see the separate page What about Hotel and Registration Information? You will find that on the PLI home page Was There a Programming Contest? Yes! The contest ran from 12:00 Noon Pacific Standard Time on Friday August 30, 2002, until 12:00 Noon Monday September 2, 2002. The contest has its own Web page What Kind of Material Appears in ICFP? The call for papers provides information on the kinds of papers sought by the conference. Contact Us!

87. ÖFAI - Austrian Research Institute For Artificial Intelligence Information on their members, research areas, publications, teaching, and resources. Focus is on data mining and knowledge discovery in databases, inductive logic programming, knowledge intensive learning, concept drift and contextsensitive learning, minimum description length principle, machine learning and music. http://www.ai.univie.ac.at/oefai/ml/

Austrian Research Institute for Artificial Intelligence Machine Learning, Data Mining, and Intelligent Music Processing Group Home People ... ML/DM/IMP Group Research Directions Machine Learning and Data Mining Intelligent Music Processing Please email comments to gerhard@oefai.at Display: Default Large Last update: 2004-05-12 16:30 Webdesign/programming: JP

88. FreeML ML¥á¥Ã¥»¡¼¥¸ »¨ÃÌ¥×¥í¥°¥é¥ß¥ó¥°£Í£Ì The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set. http://www.freeml.com/ml_mess.php?ml=programming

89. The OPAL Home Page Researches programming environment where advanced language concepts and formal development methods are used to make productionquality software. Strongly typed, higher-order, strict, pure FL; so can be classed with ml, Haskell, and other modern FLs. But also has unique algebraic flavor in the tradition of languages such as CIP-L, and Obj. http://uebb.cs.tu-berlin.de/~opal/

The OPAL Project The OPAL project is concerned with research into a programming environment in which advanced language concepts and formal development methods can be used for creating production-quality software. At the core of the project is the algebraic programming language, OPAL, which integrates both concepts of algebraic specification and functional programming. An ever-expanding set of tools supporting the language constitutes the OPAL compilation system OCS. Index Language Compilation System (OCS/Oasys) Papers People ... Other Opals Contact E-Mail: opal@cs.tu-berlin.de Snail Mail: OPAL Group Technische Universität Berlin Fachbereich Informatik Institut für Kommunikations- und Softwaretechnik Fachgebiet Übersetzerbau und Programmiersprachen Sekretariat FR 5-13 Franklinstr. 28/29 D-10587 BERLIN The OPAL Group Last modified: Fri Jun 30 11:39:25 MEST 2000

90. FreeML ML¾ðÊó¥Ú¡¼¥¸ [»¨ÃÌ¥×¥í¥°¥é¥ß¥ó¥°£Í£Ì] The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set. http://www.freeml.com/ml_info.php?ml=programming

91. Standard ML Of New Jersey s, news, downloads (Unix, Windows), literature lists, FAQs, links, and contacts. Open Source, Lucent......A compiler and programming environment for Standard ml language, with associated libraries, tools, documents. http://www.smlnj.org/

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 Working version 110.45 available. This is a maintenance release which mostly fixes problems compiling the runtime system code using GCC 3.3. Working version 110.44 available. This update fixes several important bugs, improves the new installer, provides support for Mac OS X 10.3 (Panther), and continues to bring the Basis implementation closer to the specification. Working version 110.43 available. This is a fairly major update which brings back an operational port to the Microsoft Windows platform as well as extensive work on the Basis library (including support for IntInf.int The SML/NJ source CVS repository has been moved to SourceForge. The SML/NJ SourceForge project page has a link to information about CVS access. The distribution files are also in the process of being moved to SourceForge. A mirror of the www.smlnj.org is available at the University of Chicago . The Bell Labs SML/NJ web site is now obsolete and will be replaced with an indirection to www.smlnj.org. [March 10, 2003]

92. The Machine Learning Group Has Been Replaced By Research on inductive logic programming for natural language processing and for knowledge discovery in databases. http://www.dsv.su.se/ML/

The Machine Learning Group has been replaced by The laboratory for Data Mining and Decision Analysis

93. Express Project ml/OS Goals Explore interaction between advanced programming languages, operating systems, compilers. Develop software technology to make advanced languages practical, useful tools for systems programming. http://www.ai.mit.edu/projects/express/

94. DTAI - Machine Learning Research in Data mining, Inductive Logic programming, Learning In Agents. http://www.cs.kuleuven.ac.be/~ml/

ML DTAI Dept. of Computer Science Faculty of Engineering ... K.U.Leuven DTAI Machine Learning [NEDERLANDS] ENGLISH Machine learning ( ML ) is concerned with building agents that improve their performance on specific tasks by accumulating and processing experience. Within the field of artificial intelligence, machine learning occupies a central position as there can be no intelligence unless it is capable of learning. General information: Members of the research group Publications Available systems and data sets Research, education and relevant links Research topics: Data Mining The aim of data mining is to find regularities in (possibly large) sets of data. These regularities can be used either for predictive purposes, or for descriptive purposes. As an example of the former, if the data is about patients, their symptoms and diagnosis, one can combine the symptoms of a new patient with the induced regularities to propose a diagnosis. As an example of the latter, in the same domain, an induced regularity describes a piece of scientific knowledge. If previously unknown to the medical doctors, it constitutes a piece of new knowledge which enhances the understanding of the domain. Inductive Logic Programming Classical data mining is suitable for learning patterns from data with a simple structure (typically a single relation where each tuple describes an example). However, the emphasis of our research lies on the development of algorithms that are able to induce regularities in structured domains (e.g. in biochemistry). This requires the use of an expressive representation language such as that offered by computational logic, both to describe the complex data used for learning and to express the patterns that are learnt. This has lead to the field of inductive logic programming, in which our group occupies a leading position.

95. The Fox Project OS based on ml language. Goal Advance the art of programming language design and implementation, while applying principles of programming languages to advance the art of systems building. Project work theoretical studies of languages and their traits, developing new compiler and runtime technology, empirical studies of applying advanced language techniques to real-world programming problems, more so in areas of high-performance networks and OSs. http://www-2.cs.cmu.edu/~fox/

Home Contact Information Publications Researchers Focus Areas FoxNet Typed Intermediate Languages Proof-Carrying Code Logical Frameworks ... http://www.cs.cmu.edu/~fox/ The Fox Project School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania, USA Principal Investigators Robert Harper , Professor Peter Lee , Professor Frank Pfenning , Associate Professor Support The Fox Project was supported by the Defense Advanced Research Projects Agency CSTO under the title "The Fox Project: Advanced Languages for Systems Software", ARPA Order Number C533, issued by ESC/ENS under Contract Number F19628-95-C-0050 and under the title "The Fox Project: Advanced Development of Systems Software", ARPA Order Number 8313, issued by ESD/AVS under Contract Number F196228-91-C-0168. Objective The objective of the Fox Project is the development of language support for building safe, highly composable, and reliable systems. We seek to accomplish this by exploiting and advancing the state-of-the-art in programming language technology, including fundamental design principles, compiler technologies, and the mathematical underpinning of programming languages and logics. We demonstrate our results through language implementations and applications in systems software such as embedded systems or active networks, emphasizing those which must simultaneously be highly customizable, safe, and efficient. The current emphasis is on applications for program composition in embedded systems.

96. The OCaml Language s, documents, resources, downloads. English, Fran§ais. Open Source, INRIA......Latest version of Caml dialect of stronglytyped functional language ml object-oriented programming, flexible module system, fast native compilers for many systems. http://www.ocaml.org/

Welcome to the O'Caml language ``The programming tool of choice for discriminating hackers'' Objective Caml is a fast modern type-inferring functional programming language descended from the ML (Meta Language) family. The O'Caml compiler was developed at INRIA's projet Cristal Recent News Compiler Changes Objective Caml 3.07 released. Get it here An Objective Caml program wins first prize at the ICFP 2002 programming contest Objective Caml 3.06 released. Get it here Objective Caml 3.05 released. Get it here The preliminary full text to the O'Reilly book, Developing Applications with Objective Caml is available on-line! Objective Caml 3.04 released. Get it here Caml Development Kit 3.03 released. Get it here Objective Caml 3.02 released. Get it here Objective Caml ranks 2nd on speed (between C and C++) on Doug Bagley's computer language shootout Objective Caml 3.01 released. Get it here A set of new Caml examples are now available (ranging from simple examples for beginners to complex examples for specialists). Launching the Caml consortium Two Objective Caml programs win first and second prizes at the ICFP programming contest OcamlExc , a static analyzer for uncaught exceptions.

97. Notes On Programming SML/NJ 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. http://www.cs.cornell.edu/riccardo/smlnj.html

Home Schedule Teaching Research Recent Work Research Papers Research Talks SML/NJ Notes SIGACT News Logic Column Book Reviews Links Conferences Mailing Lists 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 Last modified: Thu Sep 13 05:35:06 2001

98. Galaxy Directory : ML < Programming Languages < Computer Technology < Engineerin Galaxy Engineering and Technology Computer Technology programming Languages ml Submit Your Site to this Directory Featured http://www.galaxy.com/galaxy/Engineering-and-Technology/Computer-Technology/Prog

Web Directory News Domain Search terms: advanced Voyeur Search Options Yellow Pages ... Submit Your Site to this Directory Featured Listings Free Virus Scan Scan for spyware, malware and keyloggers in addition to viruses, worms and trojans. New threats and annoyances are created faster than any individual can keep up with. Ml Jobs View Ml job listings and apply online. EBay.com - Save Money and Buy Ml On Ebay! Find Ml and anything you are looking for on Ebay. Opening an account is free. Bidding is free. Try it today. Try searching for ML at ExactSeek.com. In addition to standard web search results, ExactSeek also offers targeted searches of specialized databases, including newsletters, articles, mp3 files, images, and comparison pricing. Find the information you need at ExactSeek.com! Site Listings Showing 1 - 3 of Sites Moscow ML. Moscow ML provides a light-weight implementation of Standard ML, a strict functional language widely used in teaching and research. The current version 1.44 implements the Standard ML (SML) Core language, a simple module system supporting separate compilation, and much of the new SML Basis Library. URL: www.dina.kvl.dk/~sestoft/mosml.html [

99. FireWire Imaging, Semiconductor Industry, Off-The-Shelf Software, WDM Stream Cla DFM 21F04ml, The Imaging Source FireWire camera module (color/visualization), 1/4 CCD, progressive scan programming interface of Standard, 550.00, 550.00. http://www.1394imaging.com/products/cameras/dfm21f04ml/?sid=3ed801809ac1d9e77e93

100. FireWire Imaging, Mold Number Recognition, Imaging Equipment, Video-To-Firewire, programming interface of Standard, 475.00, 530.00. System suggestion for the US video standard NTSC. programming interface of Standard, 475.00, 530.00. http://www.1394imaging.com/resources/systems/dfg13941/dfg13941_cam_dfk50h13.htm?

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 5     81-100 of 113    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20