ML for the working programmer

作者： Laurence C. Paulson

DOI:

关键词:

摘要: From the Publisher: In teaching methods of functional programming--in particular, how to program in Standard ML, a language recently developed at Edinburgh University, author shows use such concepts as lists, trees, higher-order functions and infinite data structures.