Miguel Vilaça

According to our database, Miguel Vilaça authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Iterators, Recursors and Interaction Nets

Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça

CoRR, 2009

2007

A Tool for Programming with Interaction Nets.

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Token-passing Nets for Functional Languages.

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Visual Programming with Recursion Patterns in Interaction Nets.

Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

2006

A Local Graph-rewriting System for Deciding Equality in Sum-product Theories.

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006