Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Iterator types
Publication

Publications

Iterator types

Title
Iterator types
Type
Article in International Conference Proceedings Book
Year
2007
Authors
Sandra Alves
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Maribel Fernndez
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Ian Mackie
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Conference proceedings International
Pages: 17-31
10th International Conference on Fundamental Approaches to Software Engineering
Braga, PORTUGAL, MAR 24-APR 01, 2007
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-004-D7A
Abstract (EN): System L is a linear A-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of Godel's System T. System C owes its power to two features: the use of a closed reduction strategy (which permits the construction of an iterator on an open function, but only iterates the function after it becomes closed), and the use of a liberal typing rule for iterators based on iterative types. In this paper, we study these new types, and show how they relate to intersection types. We also give a sound and complete type reconstruction algorithm for System L.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 15
Documents
We could not find any documents associated to the publication.
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-13 at 17:45:13 | Privacy Policy | Personal Data Protection Policy | Whistleblowing