Searching for "Categorical multi-combinators." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
The Categorical Multi-Combinator Machine: CMCM
- …CMCM 10/7/92 1 The Categorical Multi-Combinator Machine: CMCM Simon Thompson Computing Laboratory…
- Cited by 1 (1 self) – Add To MetaCart
-
Implementing SASL using Categorical Multi-Combinators
- …, England SUMMARY Categorical multi-combinators form a rewriting system developed with the aim of providing…
- Cited by 3 (3 self) – Add To MetaCart
-
Partial categorical multi-combinators and church rosser theorems
- …Partial Categorical Multi-Combinators and Church-Rosser Theorems Rafael Dueire Lins (Departamento…
- Cited by 3 (0 self) – Add To MetaCart
-
On The Equivalence between CM-C and TIM
- … lazy functional programming languages, and the set of Categorical Multi-Combinators, a rewriting system…
- Cited by 5 (0 self) – Add To MetaCart
-
Some Performance Figures for the G-Machine and its Optimisations
- …], abstract machines for the implementation of lazy functional languages based on Categorical Multi-Combinators…
- Cited by 1 (1 self) – Add To MetaCart
-
An Action Semantics for STG
- … languages, based on Categorical Multi-Combinators[17]. In order to obtain portability and efficiency…
- Add To MetaCart
-
Computer Media
- … in the suffix string, to support legacy URL naming schemes like jucs_10_7/partial_categorical_multi_combinators…
- Add To MetaCart
Showing 1 through 7.
