Skip to main content
SpringerLink
Log in

ML with Concurrency

Design, Analysis, Implementation, and Application

  • Book
  • © 1997

Overview

Editors:
  1. Flemming Nielson

    1. Computer Science Department, Aarhus University, Aarhus C, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Introduction

    • Flemming Nielson
    Pages 1-4

  3. The Essence of Concurrent ML

    • Prakash Panangaden, John Reppy
    Pages 5-29

  4. Concurrency in Poly/ML

    • David Matthews
    Pages 31-58

  5. CCS Programming in an ML Framework: An Account of LCS

    • Bernard Berthomieu
    Pages 59-96

  6. FACILE—From Toy to Tool

    • Bent Thomsen, Lone Leth, Tsung-Min Kuo
    Pages 97-144

  7. A Semantic Theory for ML Higher-Order Concurrency Primitives

    • Mourad Debbabi, Dominique Bolignano
    Pages 145-183

  8. Communication Analysis for Concurrent ML

    • Hanne Riis Nielson, Flemming Nielson
    Pages 185-235

  9. Back Matter

    Pages 237-255
    Download chapter PDF
Back to top

Keywords

About this book

Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.

Editors and Affiliations

  • Computer Science Department, Aarhus University, Aarhus C, Denmark

    Flemming Nielson

Bibliographic Information

  • Book Title: ML with Concurrency

  • Book Subtitle: Design, Analysis, Implementation, and Application

  • Editors: Flemming Nielson

  • Series Title: Monographs in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4612-2274-3

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York, Inc. 1997

  • Softcover ISBN: 978-1-4612-7483-4Published: 08 October 2011

  • eBook ISBN: 978-1-4612-2274-3Published: 06 December 2012

  • Series ISSN: 0172-603X

  • Series E-ISSN: 2512-5486

  • Edition Number: 1

  • Number of Pages: X, 255

  • Topics: Software Engineering/Programming and Operating Systems, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation