共 50 条
- [3] ON THE EFFICIENCY OF CATEGORICAL COMBINATORS AS A REWRITING SYSTEM [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (08): : 547 - 559
- [4] Exponential Elimination for Bicartesian Closed Categorical Combinators [J]. PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
- [6] First-class Environments in Categorical Combinators [J]. THEORY AND PRACTICE OF COMPUTATION, 2018, : 28 - 43
- [7] IMPLEMENTING SASL USING CATEGORICAL MULTI-COMBINATORS [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (11): : 1137 - 1165