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

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. The Manual For full details of the project, there is a copy of the manual (in PDF or Postscript) available here The Programs 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

82. Stephen Gilmore University of Edinburgh PEPA stochastic process algebra, Standard ml functional programming language. http://www.dcs.ed.ac.uk/~stg/

Stephen Gilmore Laboratory for Foundations of Computer Science The University of Edinburgh Edinburgh EH9 3JZ Scotland Email: Stephen.Gilmore@ed.ac.uk Phone: +44 (0)131 650 5189 Fax: +44 (0)131 667 7209 Web pages: INF DCS AESOP Photograph: April 2005 Research Projects Recent papers ... Older papers Research 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. Projects 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.

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

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

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

Rowan Davies 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 Research 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.

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

Mike Lewis Consultants Ltd Visual FoxPro training, consultancy and programming Mike Lewis Consultants Ltd. is a consultancy and training company specialising in Microsoft Visual FoxPro. Based in Edinburgh (Scotland), our 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.

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

87. 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 Home People ... Internal 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, bioinformatics, recommender systems, inductive logic programming, knowledge and theory refinement, planning, and intelligent tutoring. Last Modified Aug. 30, 2005

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

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

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

SML/NJ Literature Summary Tutorials Books Documentation Other Resources Tutorials Introduction to Standard ML Author: Robert Harper, CMU Postscript (374KB) HTML (preliminary version of a new edition!) Notes on Programming in SML/NJ Author: Riccardo Pucella, Cornell Postscript (930KB) PDF (640KB) Using the SML/NJ System Author: Peter Lee, CMU HTML Four Lectures on Standard ML Author: Mads Tofte, DIKU Overview Lectures 1-3 Lecture 4 Code examples in lectures Essentials of Standard ML Modules Author: Mads Tofte, DIKU Lecture Notes (Postscript) The SML code (uuencoded compressed tar) Tips for Computer Scientists On Standard ML Author: Mads Tofte, DIKU Postscript (165KB) Programming in Standard ML '97: An On-line Tutorial Author: Stephen Gilmore , Edinburgh University Edinburgh LFCS Tech Report (ECS-LFCS-97-364), various formats Supplementary information HTML version at Harlequin Postscript version at Harlequin A Gentle Introduction to ML Author: Andrew Cumming, Napier University Contents (html) Canadian mirror site Introduction to Functional Programming Author: Michael Gordon, Cambridge University

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

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

We've changed.... Our site has been restructured and renamed to www.ofai.at . Your browser may automatically redirect you to the new site within a few seconds. If you are not redirected click here Please update your bookmarks: http://www.ofai.at

93. 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: October 2004

94. 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. Downloads 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 What's New 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.

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

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

97. 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 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. General information: Members of the research group Publications Available systems and data sets Research, education and relevant links Research topics: 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.

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

Usenet FAQs Search Web FAQs Documents ... RFC Index Comp.Lang.ML FAQ [Monthly Posting] There are reader questions on this topic! 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

99. The Caml Language: Home s, documents, resources, downloads. English, Fran§ais. Open Source, INRIA......Stronglytyped, safe, automatic statically type-checked functional programming language from ml family. Powerful, easy to learn. http://caml.inria.fr/

Version française Home About Download ... Contact us Latest News The Caml Language Objective Caml 3.08.4 released (bug-fix) Objective Caml 3.08.3 released (bug-fix) New web site RSS Channel Archives Search 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.

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

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