| |
José Miguel Vilaça
Finished my phD at Departamento de Informática, Universidade do Minho under the supervision of Jorge Sousa Pinto.
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 7th 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 8th 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 6th 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 3rd 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
- October 2005 2nd 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.
- April 2005 Midlands Graduate School This course was specially about theoretical areas of computer science, mainly:
- Category theory
- Typed λ-calculi
- Denotational and operational semantics
- September 2004 1st PURe Workshop Presentation of "Code Conversion for Pointfree Representation"
|
|
 Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback
|
|
| |