Polymorphic Type Inference and Semi-unification
Fritz Henglein
Gebundenes Buch

Polymorphic Type Inference and Semi-unification

Versandkostenfrei!
Versandfertig in über 4 Wochen
28,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
14 °P sammeln!
Polymorphic Type Inference and Semi-unification explores advanced concepts in programming language theory. This book provides a rigorous examination of polymorphic type inference systems and the crucial role of semi-unification in their implementation. The text delves into the theoretical foundations and practical applications of these techniques, offering insights into efficient type checking and program analysis. Intended for researchers, graduate students, and professionals in computer science, this book offers a detailed treatment of algorithms and data structures used in advanced compiler...