交互网中嵌套模式匹配的实现
An Implementation of Nested Pattern Matching in Interaction Nets
摘要：
交互网络中的约简规则被限制为每次只匹配一个参数。因此，程序员必须引入辅助规则来执行更复杂的匹配。在本文中，我们描述了一个系统的设计和实现的互动网，它允许嵌套的模式匹配的互动规则。我们实现了一个系统，提供了方便的方式来表达交互网络程序，而无需定义辅助规则。
英文摘要：
Reduction rules in interaction nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sophisticated matches. In this paper, we describe the design and implementation of a system for interaction nets which allows nested pattern matching on interaction rules. We achieve a system that provides convenient ways to express interaction net programs without defining auxiliary rules.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
