Loading...
Please wait, while we are loading the content...
Similar Documents
Elementary standard ml (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Michaelson, Greg |
| 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 |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Elementary Standard Ml Problem Solving Effective Way Basic Type Sml Basic Type Depth Discussion Mathematical Notation Difficult Word Third Chapter Computational Model Second Chapter Discus Basic Type |
| Content Type | Text |
