Terug Terug

Basic Simple Type Theory Series Number 42: Basic Simple Type Theory

Name: Basic Simple Type Theory
Author: J. Roger Hindley

Auteur: J. Roger Hindley

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: J. Roger Hindley Roger J. Hindley

Engels
Hardcover
9780521465182
31 juli 1997
200 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 31 juli 1997
Aantal pagina's: 200
Illustraties: Nee

Betrokkenen

Hoofdauteur: J. Roger Hindley
Tweede Auteur: Roger J. Hindley
Hoofdredacteur: C. J. Van Rijsbergen
Tweede Redacteur: S. Abramsky
Co Redacteur: P. H. Aczel
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 157 mm
Product hoogte: 15 mm
Product lengte: 236 mm
Studieboek: Ja
Verpakking breedte: 157 mm
Verpakking hoogte: 15 mm
Verpakking lengte: 236 mm
Verpakkingsgewicht: 450 g

EAN

EAN: 9780521465182

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Programmeren

Wiskunde

Wiskunde voor computerwetenschappers

Programmeertalen

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.