Example: bankruptcy
Search results with tag "Standard ml"
LOGIC FOR COMPUTER SCIENCE - University of Waikato
www.cs.waikato.ac.nzIntroductions 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
Programming in Standard ML - Carnegie Mellon School of ...
www.cs.cmu.eduStandard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type system. It supports polymorphic type inference, which all but …
Programming in Standard ML
www.cs.cmu.eduStandard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type system. It supports polymorphic type inference, which all but …