ML with Concurrency

Design, Analysis, Implementation, and Application

  • Flemming Nielson

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. Flemming Nielson
    Pages 1-4
  3. Prakash Panangaden, John Reppy
    Pages 5-29
  4. David Matthews
    Pages 31-58
  5. Bent Thomsen, Lone Leth, Tsung-Min Kuo
    Pages 97-144
  6. Mourad Debbabi, Dominique Bolignano
    Pages 145-183
  7. Hanne Riis Nielson, Flemming Nielson
    Pages 185-235
  8. Back Matter
    Pages 237-255

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.


C programming language ML Standard ML communication concurrency concurrent programming design development functions language programming semantics shared memory

Editors and affiliations

  • Flemming Nielson
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York 1997
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-7483-4
  • Online ISBN 978-1-4612-2274-3
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site