Commentary on standard ML /
By: Milner, Robin
.
Contributor(s): Tofte, Mads [aut].
Material type: 
TextPublisher: Cambridge : The MIT Press, 1991Edition: 1. izd.Description: 160 str. ; 24 cm.ISBN: 0262132710.
Contents:
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.
| Item type | Current location | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Knjiga
|
Središnja knjižnica Udžbenici | 6717 | 004.43 MILNE com | 25824 | Available | 0000000753739 |
Total holds: 0
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.
There are no comments for this item.