Searching for authors named Rafael Dueire Lins – sorted by Relevance.
-
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
-
de: “Cyclic reference counting with permanent objects
- Cyclic Reference Counting with Permanent Objects Rafael Dueire Lins (Departamento de Eletrônica e
- Cited by 1 (1 self) – Add To MetaCart
-
Collected Papers
- Overheads Francisco Heron de Carvalho Junior 1 , Rafael Dueire Lins 2 1 Departamento de Computação
- Cited by 1 (0 self) – Add To MetaCart
-
Haskell#: Parallel Programming Made Simple and Efficient
- (Centro de Informática Universidade Federal de Pernambuco, Recife, Brazil fhcj@(email omitted);) Rafael Dueire
- Cited by 1 (1 self) – Add To MetaCart
-
An Action Semantics for STG
- Massa Ferreira Lima, and Rafael Dueire Lins Federal University of Pernambuco Centre of Informatics
- Add To MetaCart

