Pattern matching in ML
Subtitle: a case study in refinement
By: authors, R. Macdonald, G.P. Randell, C.T. Sennett.
Series: Report / Royal Signals and Radar Establishment, Malvern ;; no. 89004; Report (Royal Signals and Radar Establishment (Great Britain)) ;; no. 89004.
Publisher: Procurement Executive, Ministry of Defence
Published: 1989
Place of publication: Malvern, Worcestershire
Language: eng
Number of pages: 54