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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 19.

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). (Full text available)
[img]
Preview
[img]
Preview

Lins, R.D. (1992) Cyclic Reference Counting With Lazy Mark-Scan. Information Processing Letters, 44 (4). pp. 215-220. ISSN 0020-0190. (Full text available)
[img]
Preview
[img]
Preview

Thompson, S. and Lins, R.D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (Full text available)
[img]
Preview
[img]
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 28-92*. (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 (Full text available)
[img]
Preview
[img]
Preview

Lins, R.D. (1992) Generational Cyclic Reference Counting. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
Preview
[img]
Preview

Lins, R.D. (1992) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Lins, R.D. (1992) A Multi-Processor Shared Memory Architecture. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
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. (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 Thu Apr 17 10:58:54 2014 BST.