Geometry.Net - Basic_M: Ml Programming


Home - Basic_M - Ml Programming

e99.com Bookstore

Images

Newsgroups

81-100 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6 | 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)

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
The dBASE III Plus: Programmer's Reference-A Sourcebook of Programming Techniques by Cary N. Prague, James Hammitt, 1987-01
Compiling with Continuations by Andrew W. Appel, 1991-11-29
Funktionale Programmierung: Sprachdesign und Programmiertechnik (eXamen.press) (German Edition) by Peter Pepper, Petra Hofstedt, 2006-05-03
Sound and complete elimination of singleton kinds ([Research paper] / Carnegie Mellon University. School of Computer Science) by Karl Crary, 2000
The performance of FoxNet 2.0 ([Research paper] / Carnegie Mellon University. School of Computer Science) by Herb Derby, 1999
Machine Learning: ECML-94: European Conference on Machine Learning, Catania, Italy, April 6-8, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Programming Languages Created in the 1980s: Ibm Basica, Ubasic, Atari St Basic, Vilnius Basic, Turbo-Basic Xl, Extended Ml, Ibm Cassette Basic
C++ Programmer's Guide to the Standard Template Library by Mark Nelson, 1995-12
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Platinum Edition Using XHTML, XML & Java 2 by Eric Ladd, Jim O'Donnell, et all 2000-11-20

lists with details

Computational Category Theory
An implementation of concepts and constructions from category theory in the functional programming language Standard ml. Documentation and code.
http://www.cs.man.ac.uk/~david/categories/

Extractions: Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. For full details of the project, there is a copy of the manual (in PDF or Postscript) available here To access the Computational Category Theory programs go to this directory . There is a Readme file giving instructions on compiling and running the programs. Any comments? Please email me at david @ cs.man.ac.uk This page is maintained by myself, email address above. Last updated 21-05-03
Stephen Gilmore
University of Edinburgh PEPA stochastic process algebra, Standard ml functional programming language.
http://www.dcs.ed.ac.uk/~stg/

Extractions: Research Projects Recent papers ... Older papers I pursue research on the use of the PEPA stochastic process algebra, a high-level modelling language with applications in areas as diverse as performance evaluation of computer systems and cellular signalling pathway analysis in systems biology. The language is supported by a range of software tools which allow modellers to make quantitative studies of their models. The PEPA home page allows you to obtain information about PEPA. At present I am working on the following projects: PEPA with Jeremy Bradley, Jane Hillston, Leila Kloul, Marina Ribaudo, and Nigel Thomas. ENHANCE with Anne Benoit, Murray Cole and Jane Hillston. Cellular signalling pathways in process algebra with Muffy Calder and Jane Hillston. Sensoria with Martin Wirsing, Flemming Nielson, Corrado Priami, Pierpaolo Degano, and many others.
VC++ML (Programming With VC++)
Translate this page The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://mfc.acty-net.ne.jp/ml/mfc/
Home Page For Rowan Davies
Carnegie Mellon University Standard ml with refinement-type checking, relationships between modal logics and programming languages.
http://www.cs.cmu.edu/~rowan/

Extractions: I'm now in my n th year of study towards a Ph.D. in the CS department at CMU , advised by Frank Pfenning . I'm now also a lecturer in the Computer Science and Software Engineering Department at the University of Western Australia My research focuses on applications of logic and type theory to programming and languages. For example, in ongoing work with others I have demonstrated a relationship between modal logics and the languages used in partial evaluation, and used this idea to design an extension of the programming language ML with a form of typed "staged computation", including a form of run-time code generation. In separate work I have considered modal logic as a logical basis for languages which combine imperative features and more "logical" constructs such as functions and pairs. See my longer description of research interests for more details. Recently my main interest has been refinement types, which combine the features of ordinary type systems such as function and record types with elements of program properties such as implication and logical "and". This allows efficient expression of many common program properties that are beyond the scope of ordinary type systems, while retaining desirable properties such as an intuitive error reporting, and efficient checking. My thesis work involves building a refinement type checker for the Standard ML programming language. See my thesis summary and the home page for the SML CIDRE system for more details.
Visual Foxpro Training, Consultancy And Programming (UK Based).
Visual Foxpro programming, SQL server and Crystal Reports training. Located in Scotland.
http://www.ml-consult.demon.co.uk/

Extractions: 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 Visual FoxPro training courses are available at your premises, anywhere in the UK and beyond. We also offer a full consultancy service. Visual FoxPro Training We offer a range of Visual FoxPro training courses, aimed at programmers at all levels. These are all practical, hands-on classes, taught by an experienced VFP developer. The classes are designed for small groups, ensuring that each trainee receives a high degree of personal attention. We have courses suitable for newcomers to Visual FoxPro, for intermediate developers and for people who already have substantial experience of the product. Our training syllabus is completely flexible. We are happy to customise our course content to meet your specific requirements. We can also combine an on-site course with an element of consultancy. Whichever of our courses you take, our aim is the same: to teach you genuinely useful programming techniques that will help you develop your expertise, improve your productivity and make you a better programmer.
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

Extractions: 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 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 Thanks also to Conal Elliott and Ken Cline whose first Lisp prototype was influential on the design of this SML implementation.
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/

Extractions: 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, bioinformatics, recommender systems, inductive logic programming, knowledge and theory refinement, planning, and intelligent tutoring. Last Modified Aug. 30, 2005
The FLINT Project: Home
Industrialstrength systems software for modern programming languages such as ml, Java and Safe C.
http://flint.cs.yale.edu/

Extractions: 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: 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
ML Kit Home Page
A compiler for the programming language Standard ml.
http://www.it-c.dk/research/mlkit/

Extractions: Download Documentation Papers Bugs ... About The ML Kit is a compiler for the programming language Standard ML. 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.
SML/NJ Literature
ml for the Working Programmer assumes a little more programming experience thanElements A Practical Course in Functional programming Using Standard ml
http://www.smlnj.org/doc/literature.html
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/

Extractions: 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.
Redirect To Www.ofai.at
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/
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/

Extractions: 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. E-Mail: opal@cs.tu-berlin.de Snail Mail:
Standard ML Of New Jersey
s, news, downloads (Unix, Windows), literature lists, FAQs, links, and contacts. Open Source, LucentA compiler and programming environment for Standard ml language, with associated libraries, tools, documents.
http://www.smlnj.org/

Extractions: 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. Although we have not "blessed" it as a full release, we strongly recommend using one of our recent working versions. Currently, the most recent such version is Working version available. Bugfixes and minor feature enhancements. Working version 110.51 available. This version adds 64-bit integer and word arithmetic to the Basis library (structures and ). (At the moment, the implementation is rather inefficient, though.) Working version 110.50 available. This version corrects a problem related to struct arguments and results with NLFFI on the x86 platform. It also improves back-trace support and adds a simple test coverage tool. In addition, CM can now deal directly with "lazy sml" source code. Working version 110.49 available. Version 110.49 fixes another show-stopper bug in the x86 c-calls implementation, fixes a bug in the signal masking code, and enables Cygwin support. Working version 110.48 available.
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 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/

Extractions: Pittsburgh, Pennsylvania, USA 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. 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.
DTAI - Machine Learning
Research in Data mining, Inductive Logic programming, Learning In Agents.
http://www.cs.kuleuven.ac.be/~ml/

Extractions: ML DTAI Dept. of Computer Science Faculty of Engineering ... K.U.Leuven [NEDERLANDS] ENGLISH Inductive reasoning is the process of drawing conclusions of a general nature from specific observations. Machine learning ( ML ) and knowledge discovery are two subdomains of artificial intelligence that rely heavily on this kind of reasoning. Also in the field of knowledge technology there is an increasing interest in inductive reasoning. In the logical context, inductive reasoning is studied in the field of inductive logic programming, which in our group serves as a basis for the development of novel techniques in data mining, machine learning and knowledge technology. Inductive Logic Programming This field studies computational methods for generalising knowledge in the first order logic framework. Given a knowledge base, these methods search for patterns or regularities in the data that may reflect some rules or laws that hold more generally. Both the given knowledge and the induced knowledge are represented in first order logic, which allows a more powerful form of inductive reasoning than is common in other inductive inference formalisms. The DTAI group occupies a leading position in the field of inductive logic programming. The group has contributed to both theory and practice of inductive logic programming through the development of novel formalisms (e.g., first order association rules and decision trees), novel algorithms, and new and more efficient techniques for implementing these algorithms, as well as by applying these techniques in a wide range of application domains.
Comp.Lang.ML FAQ [Monthly Posting]
ml (which stands for MetaLanguage) is a family of advanced programming languageswith If you are primarily interested in executing Standard ml programs
http://www.faqs.org/faqs/meta-lang-faq/

Extractions: Help others by sharing your knowledge From: leaf@cs.cmu.edu (Leaf Eames Petersen) Newsgroups: comp.lang.ml comp-lang-ml-request@cs.cmu.edu http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html comp-lang-ml@cs.cmu.edu ... sml-list@cs.cmu.edu (sites not connected to the Internet may need additional routing.) Administrative mail such as requests to add or remove names from the distribution list should be addressed to sml-list-request@cs.cmu.edu CAML-LIST - The Caml language, a dialect of ML, is discussed on the Caml mailing list. To send mail to the Caml mailing list, address it to: caml-list@inria.fr Administrative mail should be addressed to: caml-list-request@inria.fr ALT.LANG.ML - No longer used. 3. What implementations of ML are available and where can I find them? Quick Summary: System full SML? contact Platforms - SML/NJ yes sml-nj@research.bell-labs.com
The Caml Language: Home
s, documents, resources, downloads. English, Fran§ais. Open Source, INRIAStronglytyped, safe, automatic statically type-checked functional programming language from ml family. Powerful, easy to learn.
http://caml.inria.fr/

Extractions: Search Powered by Swish-E What is Caml? Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA , France's national research institute for computer science, since 1985. About Caml The Caml Consortium Objective Caml The Objective Caml system is the main implementation of the Caml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development. About Objective Caml Latest release Manual Caml Light The Caml Light system is a lightweight, portable implementation of the core Caml language. Because of its stable status, it is actively used in education. For most other uses, we recommend switching to its successor Objective Caml.
Recursion And Dynamic Data-structures In Bounded Space Towards
51 programming with regions in the ml Kit Tofte, Birkedal et al. 5 ChalmersUniversity of Technology (context) - Pareto, types et al. - 1998
http://citeseer.ist.psu.edu/hughes99recursion.html

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

81-100 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20