Praktische Grundlagen für Programmiersprachen von Robert Harper (Englisch) Hardc
122,52 €
He touches on a surprising range of concepts that arise in language design: from simple types to polymorphism to dependent types to modules; from strict to lazy to parallel computation; and from proof techniques for reasoning about extensional behavior to practical, compositional cost models in the presence of garbage collection.
Jetzt bei Ebay: