Juarez Muylaert Filho

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Geoffrey L. Burn	[1]
2	David Cohen	[3]
3	Felipe Maia Galvão França (Felipe M. G. França)	[4]
4	Gabriel Antoine Louis Paillard	[4]