Practical Foundations for Programming Languages

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper inste...

Celý popis

Podrobná bibliografie

Hlavní autor:	Harper, Robert
Médium:	E-kniha Kniha
Jazyk:	angličtina
Vydáno:	Cambridge Cambridge University Press 17.12.2012
Vydání:	1
Témata:	COMPUTERS / Programming Languages / General. bisacsh Programming languages (Electronic computers)
ISBN:	1107029570, 9781107029576
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!