Titlebook: Implementation and Application of Functional Languages; 20th International S Sven-Bodo Scholz,Olaf Chitil Conference proceedings 2011 Sprin

完成

Implementation and Application of Functional Languages978-3-642-24452-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

不感兴趣

,Scans and Convolutions— A Calculational Proof of Moessner’s Theorem,The paper introduces two corecursion schemes for stream-generating functions, scans and convolutions, and discusses their properties. As an application of the framework, a calculational proof of Paasche’s generalisation of Moessner’s intriguing theorem is presented.

Flatus

An Interaction Net Implementation of Closed Reduction,Closed reduction is a very efficient reduction strategy for the lambda calculus, which is explained using a simple form of explicit substitutions. This paper introduces this strategy, and gives an implementation as a system of interaction nets. We obtain one of the most efficient implementations of this kind to date.

高脚酒杯