Implementation and Application of Functional Languages: 17th International Works
68,21 €
Encoding Strategies in the Lambda Calculus with Interaction Nets. - Proof Tool Support for Explicit Strictness. - A Rational Deconstruction of Landin's J Operator. - Accurate Step Counting. - With-Loop Fusion for Data Locality and Parallelism.
Jetzt bei Ebay:
