 | 2009 |
|---|
| 5 |       | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Iterators, Recursors and Interaction Nets
CoRR abs/0910.3321: (2009) |
| 2008 |
|---|
| 4 | | José Bacelar Almeida,
Jorge Sousa Pinto,
Miguel Vilaça:
Token-passing Nets for Functional Languages.
Electr. Notes Theor. Comput. Sci. 204: 181-198 (2008) |
| 3 | | José Bacelar Almeida,
Jorge Sousa Pinto,
Miguel Vilaça:
A Tool for Programming with Interaction Nets.
Electr. Notes Theor. Comput. Sci. 219: 83-96 (2008) |
| 2007 |
|---|
| 2 | | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Visual Programming with Recursion Patterns in Interaction Nets.
ECEASST 6: (2007) |
| 1 | | José Bacelar Almeida,
Jorge Sousa Pinto,
Miguel Vilaça:
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories.
Electr. Notes Theor. Comput. Sci. 176(1): 139-163 (2007) |
