Commentary on standard ML
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:32190/TOC |
|---|---|
| Glavni autori: | Milner, Robin (-), Tofte, Mads (Author) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Cambridge :
The MIT Press,
1991.
|
| Izdanje: | 1. izd |
Sadržaj:
- Executing a simple program.
- Dynamic semantics for the core.
- Dynamic semantics for the modules.
- Static semantics for the core.
- Type declarations and primcipality.
- Static semantics for the modules.
- Signature matching.
- Elaboration of functors.
- Admissible semantic objects and proofs.
- Elaboration of signature expressions.
- Principal signatures.
- Appendix: Proof of principality. Identifier status. Solutions to exercises. Mistakes and ambiguities.