| 2001 |
|---|
| 4 | | Gabriel Antoine Louis Paillard,
Felipe Maia Galvão França,
Juarez Muylaert Filho:
A Distributed Implementation of Structured Gamma.
ICPADS 2001: 445-450 |
| 1996 |
|---|
| 3 | | David Cohen,
Juarez Muylaert Filho:
Introducing a Calculus for Higher-Order Multiset Programming.
COORDINATION 1996: 124-141 |
| 1994 |
|---|
| 2 | | Juarez Muylaert Filho:
Continuation Strictness Analysis of Lists.
Theory and Formal Methods 1994: 143-166 |
| 1993 |
|---|
| 1 | | Juarez Muylaert Filho,
Geoffrey L. Burn:
Continuation Passing Transformation and Abstract Interpretation.
Theory and Formal Methods 1993: 247-259 |
