adicionar à lista de desejos
Qualified Types
Theory And Practice
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, November of 1994 ‧
see product details
SYNOPSIS
Functional programming; Haskell, Gofer; type theory.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521472531 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | November of 1994 |
| Language: | English |
| Dimensions: | 174 x 247 x 20 mm |
| Cover: | Hardcover |
| Pages: | 169 |
| Format: | Book |
| Collection: | Distinguished Dissertations In Computer Science |
| Categories: |
Books in English
>
Computing
>
Schedule
|
| EAN: | 9780521472531 |
BOOKS FROM THE SAME COLLECTION
-
Specification And Proof In Real Time Csp10%CAMBRIDGE UNIVERSITY PRESS74,35€ 10% CARDfree shipping
-
A Modular And Extensible Network Storage Architecture10%CAMBRIDGE UNIVERSITY PRESS52,72€ 10% CARDfree shipping
-
Electoral Laws And The Survival Of Presidential DemocraciesUNIVERSITY OF NOTRE DAME PRESS43,26€