Practical Foundations for Programming Languages by Robert Harper (English) Hardc
100,16 €
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:
