SULJE VALIKKO

avaa valikko

Mark P Jones | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 tuotetta
Haluatko tarkentaa hakukriteerejä?



Qualified Types: Theory and Practice
Mark P. Jones
Cambridge University Press (2003)
Pehmeäkantinen kirja
47,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Electoral Laws and the Survival of Presidential Democracies
Mark P. Jones
MR - University of Notre Dame Press (1996)
Kovakantinen kirja
39,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Conference Digest BISME
Mark P Jones
BERTRAMS (2006)
Pehmeäkantinen kirja
58,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Qualified Types
Mark P. Jones
Cambridge University Press (1994)
Kovakantinen kirja
108,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Texas Politics Today 2017-2018 Edition
Mark P. Jones; William Maxwell; Ernest Crain; Morhea Lynn Davis; Christopher Wlezien
Cengage Learning, Inc (2016)
Pehmeäkantinen kirja
318,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Electoral Laws and the Survival of Presidential Democracies
Mark P Jones
University of Notre Dame Press (1996)
Pehmeäkantinen kirja
67,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Texas Politics Today, Enhanced
Mark P. Jones; William Maxwell; Ernest Crain; Morhea Lynn Davis; Christopher Wlezien
Cengage Learning, Inc (2019)
Pehmeäkantinen kirja
322,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Voting and Political Representation in America [2 volumes] - Issues and Trends
Mark P. Jones
ABC-CLIO (2020)
Kovakantinen kirja
186,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sam Jones` Own Book - A Series of Sermons
Sam P. Jones; Randall J. Stephens; Mark M. Smith; Peggy G. Hargis
John Wiley & Sons (2009)
Pehmeäkantinen kirja
31,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Handbook of Traditional and Alternative Investment Vehicles - Investment Characteristics and Strategies
Mark J. P. Anson; Frank J. Fabozzi; Frank J. Jones
John Wiley & Sons Inc (2011)
Kovakantinen kirja
72,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
COVID-19 and the Present and Future of Black Communities: The Role of Black Physicians, Engineers, and Scientists - Proceedings
Cora Bagley Marrett; Camara P. Jones; Mark Alexander; Cato T. Laurencin
National Academies Press (2021)
Pehmeäkantinen kirja
48,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Millington and Sutherland Williams on the Proceeds of Crime
Mark Sutherland Williams (toim.); Michael Hopmeier (toim.); Rupert Jones (toim.); Will Hays (toim.); Paul Jarvis (toim.)
OUP Oxford (2023)
Moniviestin
326,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Millington and Sutherland Williams on the Proceeds of Crime
Mark Sutherland Williams (toim.); Michael Hopmeier (toim.); Rupert Jones (toim.); Will Hays (toim.); Paul Jarvis (toim.)
Oxford University Press (2023)
Kovakantinen kirja
279,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Qualified Types: Theory and Practice
47,90 €
Cambridge University Press
Sivumäärä: 172 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2003, 16.10.2003 (lisätietoa)
Kieli: Englanti
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all possible types for any term. In addition, he describes a new technique for establishing suitable coherence conditions that guarantee the same semantics for all possible translations of a given term. Practical issues that arise in concrete implementations are also discussed, concentrating in particular on the implementation of overloading in Haskell and Gofer, a small functional programming system developed by the author.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Qualified Types: Theory and Practicezoom
Näytä kaikki tuotetiedot
ISBN:
9780521543262
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste