Search results with tag "In standard ml"

LOGIC FOR COMPUTER SCIENCE - University of Waikato

Introductions to Standard ML and Prolog 221 A.1. Introduction 221 A.2. Standard ML 221 A.3. Prolog 239 Programs in Standard ML and Prolog 255 B.1.Programs in SML 255 B.2. Programs in Prolog 279 Solutions to Selected Exercises 281 REFERENCES 293 INDEX 297

  Standards, Standard ml, In standard ml