Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14927
Título: | Iterators and interaction |
Autor(es): | Mackie, Ian Pinto, Jorge Sousa Vilaça, Miguel |
Data: | 2009 |
Editora: | Elsevier Science |
Resumo(s): | We propose a method for encoding iterators (and recursion operators in general) using interaction nets. There are two main applications for this: the method can be used to obtain a visual notation for functional programs, in a visual programming system; and it can be used to extend the existing translations of the λ-calculus into interaction nets (that have been proposed as efficient implementation mechanisms) to languages with recursive types. This work can also be seen as a study of the relation between interaction net programming and functional programming. |
Tipo: | Artigo em ata de conferência |
Descrição: | Eigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009 |
URI: | https://hdl.handle.net/1822/14927 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
main.pdf | Documento principal | 1,16 MB | Adobe PDF | Ver/Abrir |