完成
发表于 2025-3-30 09:47:14
Implementation and Application of Functional Languages978-3-642-24452-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
不感兴趣
发表于 2025-3-30 13:12:58
,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
发表于 2025-3-30 20:27:41
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.
高脚酒杯
发表于 2025-3-31 00:14:06
http://reply.papertrans.cn/47/4626/462548/462548_54.png