Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

Number of items: 20.

Article

Lins, R.D. and Neto, M.G. and Neto, L.F. and Rosa, L.G. (1994) An environment for processing images of historical documents. Microprocessing and Microprogramming, 40 (10-12). pp. 939-942. ISSN 0165-6074. The full text of this publication is not available from this repository.

Lins, R.D. and Thompson, Simon and Jones, S.L.P. (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4).

Preview

Preview

Lins, R.D. (1992) Cyclic Reference Counting With Lazy Mark-Scan. Information Processing Letters, 44 (4). pp. 215-220. ISSN 0020-0190.

Preview

Preview

Thompson, S. and Lins, R.D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620.

Preview

Preview

Monograph

Lins, R.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 available from this repository.

Jones, Richard and Lins, R.D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

Musicante, M.A. and Lins, R.D. (1992) GMC A Graph Categorical Multi-Combinator Machine. Technical report. , University of Kent, Canterbury, UK

Preview

Preview

Lins, R.D. (1992) Generational Cyclic Reference Counting. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK

Preview

Preview

Soares, P.G. and Lins, R.D. (1992) Some Performance Figures for the G-Machine and its Optimisations. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK

Preview

Preview

Lins, R.D. and Lira, B.O. (1992) GammaCMC: A Novel Way of Compiling Functional Languages. Technical report. Chapman Hall Limited, University of Kent, Canterbury, UK

Preview

Preview

Lins, R.D. (1992) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK

Preview

Preview

Lins, R.D. (1992) A Multi-Processor Shared Memory Architecture. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Lins, R.D. and Jones, Richard (1991) Cyclic Weighted Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

Lins, R.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 available from this repository.

Lins, R.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 available from this repository.

Lins, R.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 available from this repository.

Lins, R.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 available from this repository.

Conference or workshop item

Jones, Richard and Lins, R.D. (1993) Cyclic Weighted Reference Counting without Delay. In: Proceedings of PARLE'93. The full text of this publication is not available from this repository.

Lins, R.D. and Jones, Richard (1993) Cyclic Weighted Reference Counting. In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria. The full text of this publication is not available from this repository.

Lins, R.D. (1992) A Multiprocessor Shared Memory Architecture for Parallel Cyclic Reference Counting. In: 18th Symposium On Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design. 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 available from this repository.

This list was generated on Fri May 24 03:33:12 2013 BST.