Programming in Standard ML '97: (1997)
| Venue: | Automatic Natural Language Parsing, Chlchester |
BibTeX
@TECHREPORT{Al97programmingin,
author = {Tuto Ri Al and Stephen Gilmore},
title = {Programming in Standard ML '97:},
institution = {Automatic Natural Language Parsing, Chlchester},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
data types 44 7.1 Programming with abstract data types . . . . . . . . . . . . . . . . . . . . . . . . . 45 8 Imperative programming 47 8.1 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 8.2 Assignment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 8.3 Sequential composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 8.4 Iteration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 8.5 Types and imperative programming . . . . . . . . . . . . . . . . . . . . . . . . . . 50 8.5.1 Type safety conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 8.5.2 Implementing type safety . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 8.6 Arrays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 8.7 Memoisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
