Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 20.
Article
| Lins, Rafael D. and Neto, Mario Guimaraes and Neto, Leopoldo Franca and Rosa, Luciano Galdino (1994) An environment for processing images of historical documents. Microprocessing and Microprogramming, 40 (10-12). pp. 939-942. ISSN 0165-6074. (doi:https://doi.org/10.1016/0165-6074(94)90074-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. and Thompson, Simon and Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:https://doi.org/10.1017/S0956796800000939) (Full text available) |
|
| Lins, Rafael D. (1992) Cyclic Reference Counting With Lazy Mark-Scan. Information Processing Letters, 44 (4). pp. 215-220. ISSN 0020-0190. (doi:https://doi.org/10.1016/0020-0190(92)90088-D) (Full text available) |
|
| Thompson, Simon and Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/35.2.170) (Full text available) |
|
Monograph
| Lins, Rafael D. (1994) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Jones, Richard E. and Lins, Rafael D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK 28-92*. (doi:28-92*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Musicante, Martin A. and Lins, Rafael D. (1992) GMC A Graph Categorical Multi-Combinator Machine. Technical report. , University of Kent, Canterbury, UK (Full text available) |
|
| Lins, Rafael D. (1992) Generational Cyclic Reference Counting. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK (Full text available) |
|
| Soares, Patricia G. and Lins, Rafael D. (1992) Some Performance Figures for the G-Machine and its Optimisations. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK (Full text available) |
|
| Lins, Rafael D. and Lira, Bruno O. (1992) GammaCMC: A Novel Way of Compiling Functional Languages. Technical report. Chapman Hall Limited, University of Kent, Canterbury, UK (Full text available) |
|
| Lins, Rafael D. (1992) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK (Full text available) |
|
| Lins, Rafael D. (1992) A Multi-Processor Shared Memory Architecture. Technical report. UKC, University of Kent, Canterbury, UK (Full text available) |
|
| Lins, Rafael D. and Jones, Richard E. (1991) Cyclic Weighted Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. and Vasques, M.A. (1991) A Comparative Study of Algorithms for Cyclic Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. (1991) A Shared Memory Architecture for Parallel Cyclic Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. and Thompson, Simon (1990) Implementing SASL using Categorical Multi-combinators. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. (1989) Cyclic Reference Counting with Local Mark-Scan. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Conference or workshop item
| Jones, Richard E. and Lins, Rafael D. (1993) Cyclic Weighted Reference Counting without Delay. In: Proceedings of PARLE'93. pp. 712-715. ISBN 0-387-56891-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. and Jones, Richard E. (1993) Cyclic Weighted Reference Counting. In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria. pp. 369-382. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Lins, Rafael D. (1992) A Multiprocessor Shared Memory Architecture for Parallel Cyclic Reference Counting. In: Microprocessing and Microprogramming. Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design, 35. Elsevier Science Bv, Paris, France pp. 563-568. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
