Follow
Miguel Vilaça
Miguel Vilaça
Verified email at braga.ucp.pt
Title
Cited by
Cited by
Year
Visual programming with recursion patterns in interaction nets
I Mackie, JS Pinto, M Vilaça
EASST, 2007
42*2007
Sixth International Workshop on Graph Transformation and Visual Modeling Techniques
I Mackie, JS Pinto, M Vilaça
Electronic Communications of the EASST 10, 2007
18*2007
A tool for programming with interaction nets
JB Almeida, JS Pinto, M Vilaça
Electronic Notes in Theoretical Computer Science 219, 83-96, 2008
152008
Functional programming and program transformation with interaction nets
I Mackie, JS Pinto, M Vilaça
62005
Visual programming with recursion patterns in interaction nets
I Mackie, JS Pinto, M Vilaça
European Association of Software Science and Technology (EASST), 2007
52007
Token-passing nets for functional languages
JB Almeida, JS Pinto, M Vilaça
Electronic Notes in Theoretical Computer Science 204, 181-198, 2008
42008
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
JB Almeida, JS Pinto, M Vilaça
Electronic Notes in Theoretical Computer Science 176 (1), 139-163, 2007
42007
Encoding iterators in interaction nets
JB Almeida, I Mackie, JS Pinto, M Vilaça
Implementation and Application of Functional Languages, 40, 2007
32007
Iterators, Recursors and Interaction Nets
I Mackie, JS Pinto, M Vilaça
arXiv preprint arXiv:0910.3321, 2009
2009
Iterators and interaction
I Mackie, JS Pinto, M Vilaça
Elsevier Science, 2009
2009
A local graph-rewriting system for deciding equality in sum-product theories
JS Pinto, JB Almeida, M Vilaça
2006
The system can't perform the operation now. Try again later.
Articles 1–11