Visual programming with recursion patterns in interaction nets I Mackie, JS Pinto, M Vilaça EASST, 2007 | 43* | 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 | 17* | 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 | 15 | 2008 |
Functional programming and program transformation with interaction nets I Mackie, JS Pinto, M Vilaça | 6 | 2005 |
Visual programming with recursion patterns in interaction nets I Mackie, JS Pinto, M Vilaça European Association of Software Science and Technology (EASST), 2007 | 5 | 2007 |
Token-passing nets for functional languages JB Almeida, JS Pinto, M Vilaça Electronic Notes in Theoretical Computer Science 204, 181-198, 2008 | 4 | 2008 |
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 | 4 | 2007 |
Encoding iterators in interaction nets JB Almeida, I Mackie, JS Pinto, M Vilaça Implementation and Application of Functional Languages, 40, 2007 | 3 | 2007 |
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 |