Login / Signup
Miguel Vilaça
Publication Activity (10 Years)
Years Active: 2007-2009
Publications (10 Years): 0
</>
Publications
</>
Ian Mackie
,
Jorge Sousa Pinto
,
Miguel Vilaça
Iterators, Recursors and Interaction Nets
CoRR
(2009)
José Bacelar Almeida
,
Jorge Sousa Pinto
,
Miguel Vilaça
A Tool for Programming with Interaction Nets.
Electron. Notes Theor. Comput. Sci.
219 (2008)
José Bacelar Almeida
,
Jorge Sousa Pinto
,
Miguel Vilaça
Token-passing Nets for Functional Languages.
Electron. Notes Theor. Comput. Sci.
204 (2008)
Ian Mackie
,
Jorge Sousa Pinto
,
Miguel Vilaça
Visual Programming with Recursion Patterns in Interaction Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
6 (2007)
José Bacelar Almeida
,
Jorge Sousa Pinto
,
Miguel Vilaça
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories.
Electron. Notes Theor. Comput. Sci.
176 (1) (2007)