1 resultado para LIMITATION
em Boston University Digital Common
Filtro por publicador
- Repository Napier (1)
- University of Cagliari UniCA Eprints (1)
- Aberdeen University (2)
- Aberystwyth University Repository - Reino Unido (5)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- Adam Mickiewicz University Repository (3)
- Aquatic Commons (42)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (2)
- Archive of European Integration (15)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (5)
- Aston University Research Archive (6)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (2)
- B-Digital - Universidade Fernando Pessoa - Portugal (6)
- Biblioteca Digital da Câmara dos Deputados (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (2)
- Biblioteca Digital de la Universidad Católica Argentina (4)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (33)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (18)
- Boston University Digital Common (1)
- Brock University, Canada (8)
- CaltechTHESIS (8)
- Cambridge University Engineering Department Publications Database (29)
- CentAUR: Central Archive University of Reading - UK (35)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (107)
- Cochin University of Science & Technology (CUSAT), India (13)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (4)
- Cornell: DigitalCommons@ILR (13)
- Deakin Research Online - Australia (5)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Archives@Colby (1)
- Digital Commons at Florida International University (2)
- Digital Peer Publishing (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (14)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (19)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Greenwich Academic Literature Archive - UK (3)
- Helda - Digital Repository of University of Helsinki (17)
- Indian Institute of Science - Bangalore - Índia (61)
- Instituto Politécnico do Porto, Portugal (15)
- Massachusetts Institute of Technology (3)
- National Center for Biotechnology Information - NCBI (4)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (19)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (6)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (75)
- Queensland University of Technology - ePrints Archive (177)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (2)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (10)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (4)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (9)
- SAPIENTIA - Universidade do Algarve - Portugal (5)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (18)
- Universidad Politécnica de Madrid (3)
- Universidade de Lisboa - Repositório Aberto (3)
- Universitat de Girona, Spain (7)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (4)
- Université de Lausanne, Switzerland (12)
- Université de Montréal (1)
- Université de Montréal, Canada (79)
- University of Michigan (18)
- University of Queensland eSpace - Australia (8)
- University of Southampton, United Kingdom (1)
- University of Washington (1)
- WestminsterResearch - UK (2)
Resumo:
The ML programming language restricts type polymorphism to occur only in the "let-in" construct and requires every occurrence of a formal parameter of a function (a lambda abstraction) to have the same type. Milner in 1978 refers to this restriction (which was adopted to help ML achieve automatic type inference) as a serious limitation. We show that this restriction can be relaxed enough to allow universal polymorphic abstraction without losing automatic type inference. This extension is equivalent to the rank-2 fragment of system F. We precisely characterize the additional program phrases (lambda terms) that can be typed with this extension and we describe typing anomalies both before and after the extension. We discuss how macros may be used to gain some of the power of rank-3 types without losing automatic type inference. We also discuss user-interface problems in how to inform the programmer of the possible types a program phrase may have.