Formal Aspects of Computing

, Volume 1, Issue 1, pp 412–415 | Cite as

Book reviews

  • Tom Parke
  • R. McLean
Article
  • 21 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Har88]
    Harper, R. et al.: The Definition of Standard ML Version 2. Dept. Comp. Sci. Edinburgh University, Report ECS-LFCS-88-62, 1988.Google Scholar
  2. [1ST88]
    Poly/ML System Guide. Ref. 2103/1, Imperial Software Technology Ltd., 1988.Google Scholar

Copyright information

© BCS 1989

Authors and Affiliations

  • Tom Parke
    • 1
  • R. McLean
    • 2
  1. 1.Bath
  2. 2.Cambridge

Personalised recommendations