Last edited by Shalmaran
Friday, July 24, 2020 | History

11 edition of The Standard ML Basis Library found in the catalog.

The Standard ML Basis Library

  • 29 Want to read
  • 7 Currently reading

Published by Cambridge University Press .
Written in English

    Subjects:
  • Algorithms & procedures,
  • Programming languages,
  • Programming Languages - General,
  • Computers - Languages / Programming,
  • Computers,
  • Computer Books: Languages,
  • Programming - Software Development,
  • Computers / Programming / Software Development,
  • ML (Computer program language)

  • Edition Notes

    ContributionsEmden R. Gansner (Editor), John H. Reppy (Editor)
    The Physical Object
    FormatPaperback
    Number of Pages320
    ID Numbers
    Open LibraryOL7754319M
    ISBN 100521794781
    ISBN 109780521794787

    The Standard ML Basis Library. The Option structure. Synopsis signature OPTION structure Option:> OPTION. The Option structure defines the option type, used for handling partial functions and optional values, and provides a collection of common combinators. The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language.

    The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. It provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language, including I/O, primitive types, support for internationalization, and a portable operating system . The Standard ML Basis Library is a collection of modules dealing with basic types, input/output, OS interfaces, and simple datatypes. It is intended as a portable library usable across all implementations of SML.

    MLton is a whole-program optimizing compiler for the Standard ML programming language. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GMP, and multiple code generation and garbage collection strategies. We are releasing this draft version of the SML Basis Library specification so that the SML community may comment on it. This document is the result of three years of work by a small group of SML implementers. The latest versions of Moscow ML and Standard ML of New Jersey, as well as Harlequin's MLWorks, implement significant portions of this new library.


Share this book
You might also like
Les Jeunes

Les Jeunes

Mass communication

Mass communication

Trends of export and import of minor forest products in India

Trends of export and import of minor forest products in India

Non-violence and the Christian conscience

Non-violence and the Christian conscience

Massachusetts AIDS cases by month of report

Massachusetts AIDS cases by month of report

polyphonic sequences in Codex Wolfenbuettel 677

polyphonic sequences in Codex Wolfenbuettel 677

Mesa Verde Country Club

Mesa Verde Country Club

From colonies to independent nations

From colonies to independent nations

Evaluation of battery converters based on 4.8 MW fuel cell demonstrator inverter

Evaluation of battery converters based on 4.8 MW fuel cell demonstrator inverter

Turo

Turo

development of a microcomputer facility for small libraries

development of a microcomputer facility for small libraries

Studies on Ohio diatoms

Studies on Ohio diatoms

The Standard ML Basis Library Download PDF EPUB FB2

SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming.

The language is in use worldwide, with applications ranging from network communication to theorem proving. This book serves as the definition for SML's standard : Paperback. The Standard ML Basis Library Introduction These web pages contain the interface specifications for the modules of the SML Basis Library, which is a standard library for the Revision of SML [CITE].

The Standard ML Basis Library. Table of Contents. Introduction; Overview. Top-level environment; Basic types; Standard datatypes.

Standard ML Basis Library. This repository and associated wiki provides a platform for managing changes to the Standard ML Basis Library specification. Scope. The SML Basis Library was purposefully designed to be limited in its scope.

Specifically, The Standard ML Basis Library book included features that satisified one of the following properties.

The Standard ML Basis Library. The General structure. Synopsis datatypes, and functions which are used throughout the SML Basis Library, and are useful in a wide range of programs. All of the types and values defined in General are available unqualified at the top Printed versions of the SML Basis Manual are available from Cambridge.

The Standard ML Basis Manual This book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete descriptionofthemodules,types,andfunctionscomprisingthelibrary,whichissupported by all File Size: KB.

The Standard ML Basis Library. The IMPERATIVE_IO signature. Synopsis signature IMPERATIVE_IO. The IMPERATIVE_IO signature defines the interface of the Imperative I/O layer in the I/O stack. This layer provides buffered I/O using mutable, redirectable streams.

Interface structure StreamIO: STREAM_IO. The Standard ML Basis Library. The ImperativeIO functor. Synopsis functor ImperativeIO Printed versions of the SML Basis Manual are available from Cambridge University Press.

To order, please visit (North America) or (outside North America). nition of Standard ML (Revised) is the formal definition of the language. It is supplemented by the Standard ML Basis Library, which defines a com-mon basis of types that are shared by all implementations of the language.

Commentary on Standard ML discusses some of the decisions that went into the design of the first version of the language. The Standard ML Basis Library This describes the "library" functions and interfaces that are part of the ML standard.

This includes modules for I/O, operating-system interface, arithmetic on integers, reals, and words (unsigned integers), mathematical functions, operations on strings and substrings, and so on.

The Standard ML of New Jersey Library. The Standard ML Basis Manual This book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete descriptionofthemodules,types,andfunctionscomprisingthelibrary,whichissupported by all.

The Standard ML Basis Library. SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving/5(4).

The SML Basis Library is also published as a book by Cambridge University Press. In addition to the manual pages, the book also contains tutorial descriptions of programming techniques and idioms for effective use of the Library's interfaces.

The design philosophy of the SML Basis Library is to use the SML module system as an organizing tool. This book serves as the definition for SML's standard library. It provides concise descriptions of the types and functions defined in the library.

It also presents more extensive discussions on the design and use of the manual will be an indispensable reference for students, professional programmers, and language designers. The Standard ML Basis Library. The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language.

For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language.3/5(1).

The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the cturer: Cambridge University Press.

Standard ML Basis Library. The Standard ML Basis Library is the result of a decade of work by a small group of SML implementers. The SML Basis Library Manual has been published in September The book's page at Cambridge University Press.

The book's page at and at The Standard ML Basis Library. The List structure. The List structure provides a collection of utility functions for manipulating polymorphic lists, traditionally an important datatype in functional programming.

Lists are usually supported with a large collection of library functions. Here, we provide a somewhat smaller collection of operations. Standard Basis Library. Poly/ML supports the ML Standard Basis Library.

The documentation is available as a book, The Standard ML Basis Library, by Emden Gansner and John Reppy. This is a short overview with specific reference to the implementation in Poly/ML. The Standard ML Basis Library.

The IntInf structure. Synopsis The optional IntInf structure is one of the possible implementations of the INTEGER interface. In addition to the INTEGER operations, it provides some operations useful for programming with arbitrarily large integers.

THE STANDARD ML BASIS LIBRARY – Bookz Search in.Moscow ML implements much of the Standard ML Basis Library [3], the most important omission being the functional stream input-output operations. The Standard ML Basis Library is a joint effort of the Standard ML of New Jersey, MLWorks, and Moscow ML developers 1 to enhance the portability of Standard ML programs.THE LIBRARY BOOK confronts the issue of street people patronizing the library.

Is this an issue in your hometown? How do you feel about the L.A. library’s involvement, handling of the issue, and the notion of inclusion? 8. Andrew Carnegie is perhaps the most famous supporter and benefactor of libraries.

Can you name a modern equivalent who is.