Practical foundations for programming languages /

"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"

Podrobná bibliografie
Hlavní autor: 572691 Harper, Robert
Médium:
Jazyk:eng
Vydáno: Cambridge : Cambridge University Press, 2013
Témata:
Popis
Shrnutí:"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"