Basic Simple Type Theory

67,12 €
+ 6,99 € Spedizione

Basic Simple Type Theory

Venduto da:
  • product image

67,12 €

Disponibile
+ 6,99 € Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

  • Marchio: Unbranded

Descrizione

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 the key ideas are covered without getting involved in the complications of more advanced systems but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory and the system considered is the simplest polymorphic one. The author covers all the basic ideas including the system's relation to propositional logic and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear making the book at a level which can be used as an introduction to type theory for computer scientists. Language: English
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Numero di pagine: 200
  • Casa editrice/Casa discografica: Cambridge University Press
  • Lingua: English
  • Data di pubblicazione: 2007/11/24
  • Artista: Hindley J. Roger
  • Formato: Paperback
  • ID Fruugo: 337399953-741032426
  • ISBN: 9780521054225

Consegna

Spedito entro 4 giorni

  • STANDARD: 10,11 € - Consegna tra lun 07 settembre 2026–gio 10 settembre 2026

Spedizione da Regno Unito.

Resi e cancellazioni

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa

Cancellazioni

Hai il diritto di recedere dal tuo acquisto entro 14 giorni dal ricevimento dell'ordine senza dover fornire alcuna motivazione. Per esercitare facilmente il tuo diritto, puoi utilizzare il link "Annulla il mio ordine" nel piè di pagina di ogni pagina o all'interno del tuo account Fruugo alla voce "Ordini". Una volta esercitato il diritto di recesso, ti invieremo un'e-mail di conferma. Se il tuo ordine è già stato spedito dal venditore, ti forniremo le istruzioni necessarie per il reso al fine di garantire che il rimborso venga elaborato tempestivamente.

Visualizza la politica di cancellazione completa