1 Introduction
1.1 The structure PolyML
1.2 Starting a Poly/ML session
1.3 Updating the Database
1.4 Quitting a Poly/ML session
1.5 Including files
1.6 Persistence
1.7 Debugging
1.8 Timing and Profiling
1.9 Session Logging
1.10 Using Poly/ML remotely
1.11 Flags
1.12 The disc garbage collector
2 The Standard ML Initial Basis
2.1 Types
2.2 Infixes
2.3 Boolean and Comparison Functions
2.4 Integers and Reals
2.4.1 Type conversion
2.4.2 Arithmetic functions
2.4.3 Trigonometric functions
2.4.4 Order Relations
2.5 List processing
2.6 String processing
2.7 Refs
2.8 Miscellaneous |
3 Poly/ML I/O Facilities
3.1 BasicIO
3.2 ExtendedIO4 Vectors and Arrays
4.1 Vectors
4.2 Arrays
5 Processes
6 PolyML.Compiler
6.1 Compiler flags
6.2 Forget functions
7 The Poly/ML Make System
7.1 Introduction
7.2 Non-RCS mode
7.3 RCS mode
7.4 Example
8 Using Multiple
Databases
8.1 Child Databases
8.2 Copying Linked Databases
8.3 Database and Heap Limits
9 Poly/ML Heap Parameters
A Poly/ML RTS Warning and Error Messages |