José Miguel Vilaça

Finished my phD at Departamento de Informática, Universidade do Minho under the supervision of Jorge Sousa Pinto.

• Email: jmvilaca@di.uminho.pt

Publications

• Iterators, Recursors and Interaction Nets; Ian Mackie, Jorge Sousa Pinto, and Miguel Vilaça; In Proceedings do 1º Fórum Nacional na Área da Informática (INForum 2009).

• Token-passing Nets for Functional Languages; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of The 7^th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007). In Electronic Notes in Theoretical Computer Science, Volume 204, 4 April 2008, Pages 181-198 DOI: 10.1016/j.entcs.2008.03.061 (bibTeX)

• A Tool for Programming with Interaction Nets; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of The 8^th International Workshop on Rule-Based Programming (RULE 2007). In Electronic Notes in Theoretical Computer Science, Volume 219, 20 November 2008, Pages 83-96 DOI: 10.1016/j.entcs.2008.10.036(bibTeX)

• Visual Programming with Recursion Patterns in Interaction Nets; Ian Mackie, Jorge Sousa Pinto, and Miguel Vilaça; In Proceedings of the 6^th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'07). In Electronic Communications of the EASST. ISSN 1863-2122. Volume 6. 2007. (here)(bibTeX)

• A Local Graph-rewriting System for Deciding Equality in Sum-product Theories; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of the 3^rd International Workshop on Term Graph Rewriting (TERMGRAPH 2006). In Electronic Notes in Theoretical Computer Science, Volume 176, Issue 1, 28 May 2007, Pages 139-163. DOI: 10.1016/j.entcs.2006.10.031(bibTeX)

DBLP

Technical Reports

• Encoding Iterators in Interaction Nets; José Bacelar Almeida, Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça; Technical Report , December 2007. (pdf)

• A Tool for Programming with Interaction Nets; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; Technical Report DI-PURe-06.04.01, April 2006. (pdf)

• A Local Graph-rewriting System for Deciding Equality in Sum-product Theories; José Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vilaça; Technical Report DI-PURe-06.02.01, February 2006 (revised in June 2006) (pdf)

• Functional Programming and Program Transformation with Interaction Nets; Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça; Technical Report DI-PURe-05.05.02, May 2005 (pdf). Presented at conference LOPSTR'05.

• Conversão de Código Pointwise para Código Pointfree (in Portuguese); José Vilaça; Technical Report DI-PURe-04.11.02, November 2004 (pdf)

Tools

• On this moment I'm working on an editor for Interaction Nets (see INblobs webpage)

Participations/Comunications

• Setember 2007 19th International Symposium on Implementation and Application of Functional Languages

• August 2007 Summer School Marktoberdorf 2007

• June 2007 Federated Conference on Rewriting, Deduction, and Programming (RDP'07)

• March 2007 European Joint Conferences on Theory and Practice of Software 2007

• February 2007 Simpósio Doutoral do Departamento de Informática 2007

• October 2006 Research Workshop on Coinduction, Interaction and Composition

• February 2006 Simpósio Doutoral do DI'05 Historical presentation of my PhD work and plans for future work.

• October 2005 2^nd PURe Workshop Presentation of a revised version of "Functional Programming and Program Transformation with Interaction Nets" and scientific discussion about problems and limitations of the current work as well as possible solutions.

• September 2005 LOPSTR International Symposium on Logic-based Synthesis and Transformation

• June 2005 Summer School on Program Analysis and Transformation

• April 2005 Midlands Graduate School This course was specially about theoretical areas of computer science, mainly:
  • Category theory
  • Typed λ-calculi
  • Denotational and operational semantics

• January 2005 Simpósio Doutoral do DI'04

• September 2004 1^st PURe Workshop Presentation of "Code Conversion for Pointfree Representation"

• August 2004 5^th International Summer School on Advanced Functional Programming