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

Group by: Item Type | Date | No Grouping

1994 1993 1992 1991 1990 1989

Number of items: 20.

1994

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. (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.

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

1993

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.

1992

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

Preview

Preview

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. (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.

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

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

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

Preview

Preview

1991

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.

1990

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.

1989

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.

This list was generated on Sun May 19 07:26:17 2013 BST.