Basic Simple Type Theory
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all...
| Butik | Lagerstatus | Leverans | Pris | Frakt | Totalt |
|---|---|---|---|---|---|
| Bokus | - | 508 | 0 | 508 SEK | |
| Akademibokhandeln | - | 649 | 0 | 649 SEK |