20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
1 099 kr
I lager, skickas inom 4 till 5 vardagar
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
1 099 kr
I lager, skickas inom 4 till 5 vardagar
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
Utforska miljontals ljud- och e-böcker och upptäck stories i alla format. Med ett abonnemang får du 20% rabatt på fysiska böcker!
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Christian Dawson
David Gerhard, Wil J. Norton
R. KAIT
Joyce Farrell
Jean Andrews, Jill West, Joy Dark
Jesus Rogel-Salazar
Marilyn Wolf
Michael Kilian
Fabio Silva Botelho
Christopher Essex, Robert Adams
Christian Constanda
J. J. Sakurai, Jim Napolitano
Herbert S Wilf
Dennis Wackerly, Richard Scheaffer, William Mendenhall III
Elisabeth A Gundlach, Mark Daniel WARD
C.B. Emeritus Professor Bucknall, C.P. Buckley, N. G. Emeritus Fellow McCrum
Jerry Marion, Stephen Thornton
Donald J. DeCoste, Steven Zumdahl
Sadri Hassani
Karl Johan Åström, Richard Murray
Terence Tao
Eric Widmaier, Linda Graham, Peter Stiling, Robert Brooker DO NOT USE, Robert Brooker
Sarah Easter Collins
Frida Skybäck
Liz Moore
Colleen Hoover
Kristin Fägerskjöld
Armando Lucas Correa
Sharon Bolton
Ruth Lillegraven
Santa Montefiore
Kelly Rimmer
Martha Hall Kelly
Svenja O'Donnell
Nathan Harris
Holly Jackson
Louise Boije af Gennäs
Tina Norin
Kristin Fägerskjöld
Pernilla Lindroos
Anna Lönnqvist
Jessie Burton
Malin Nordström
Marc Levy
Emma Donoghue
Snezana Lindskog, Andie Lindskog
Tony Samuelsson
Andrev Walden
Tina Harnesk
Kathrine Nedrejord
Anthony Doerr
Marieke Lucas Rijneveld
Lauren Groff
Claire Messud
Claire Lynch
Sebastian Barry
Ray Celestin
Simon Stranger
Alice Munro
Linda Boström Knausgård
Marit Kapla
Ulf Stark
Sarah Easter Collins
Liz Moore
Ursula Scavenius
Colleen Hoover
Michel Jean
