@MISC{Michaelson95elementarystandard, author = {Greg Michaelson}, title = {Elementary Standard ML}, year = {1995} }

Bookmark

OpenURL

Abstract

veying information about the solutions of problems and to maintain the consistency of solutions. The second chapter discusses basic types, as they form the foundations of both programming in a strongly typed languages (SML) and problem solving. The SML basic types are discussed in rather a lot of detail. This is hard to avoid, mainly because SML does not support overloading properly. The third chapter gives an in depth discussion of functions over values of basic types. The separation of the concepts of naming and abstraction is nicely presented, even though the notation provided by SML for this separation is a bit awkward. In between the lines I read the essence of the -calculus, but Michaelson has skillfully avoided the mathematical notation (which would put students off completely), the intricacies of fi-conversion, and even difficult words and definitions. The computational model for SML is nevertheless developed in a highly effective way. I regard