Linearity and Recursion in a Typed Lambda-Calculus

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2011

Autores

Sandra Alves (Autor) FCUP; Maribel Fernandez (Autor) Outra; Mario Florido (Autor) FCUP; Ian Mackie (Autor) Outra

Ata de Conferência Internacional

Título: PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING

Páginas: 173-182

13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Odense, DENMARK, JUL 20-22, 2011

Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 4 Citações

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

Outras Informações

ID Authenticus: P-005-4CE

DOI: 10.1145/2003476.2003500

Abstract (EN): We show that the full PCF language can be encoded in L-rec, a syntactically linear lambda-calculus extended with numbers, pairs, and an unbounded recursor that preserves the syntactic linearity of the calculus. We give call-by-name and call-by-value evaluation strategies and discuss implementation techniques for L-rec, exploiting its linearity.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 10