Searching for authors named Rafael Dueire Lins – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
