1 resultado para Work Incentive Program (U.S.)
em Boston University Digital Common
Filtro por publicador
- Adam Mickiewicz University Repository (2)
- Applied Math and Science Education Repository - Washington - USA (8)
- Aquatic Commons (60)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (9)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (3)
- Aston University Research Archive (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (7)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (5)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (7)
- Biodiversity Heritage Library, United States (50)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
- Boston College Law School, Boston College (BC), United States (1)
- Boston University Digital Common (1)
- Brock University, Canada (16)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (2)
- CentAUR: Central Archive University of Reading - UK (10)
- Center for Jewish History Digital Collections (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (17)
- Cochin University of Science & Technology (CUSAT), India (1)
- Coffee Science - Universidade Federal de Lavras (1)
- Cornell: DigitalCommons@ILR (6)
- Dalarna University College Electronic Archive (3)
- Deakin Research Online - Australia (79)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ DU | University of Denver Research (2)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (5)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (4)
- DigitalCommons@University of Nebraska - Lincoln (7)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (5)
- Ecology and Society (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (2)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (1)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Indian Institute of Science - Bangalore - Índia (7)
- Instituto Politécnico do Porto, Portugal (3)
- Massachusetts Institute of Technology (2)
- Portal de Revistas Científicas Complutenses - Espanha (6)
- Publishing Network for Geoscientific & Environmental Data (1)
- QSpace: Queen's University - Canada (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (13)
- Queensland University of Technology - ePrints Archive (146)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (2)
- Repositório digital da Fundação Getúlio Vargas - FGV (11)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (34)
- RIBERDIS - Repositorio IBERoamericano sobre DIScapacidad - Centro Español de Documentación sobre Discapacidad (CEDD) (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (3)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- School of Medicine, Washington University, United States (4)
- SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (1)
- South Carolina State Documents Depository (3)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad del Rosario, Colombia (32)
- Universidad Politécnica de Madrid (3)
- Universidade Federal do Pará (6)
- Universidade Federal do Rio Grande do Norte (UFRN) (4)
- Universidade Metodista de São Paulo (3)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (2)
- Université de Montréal, Canada (6)
- University of Canberra Research Repository - Australia (1)
- University of Connecticut - USA (1)
- University of Michigan (323)
- University of Queensland eSpace - Australia (2)
- University of Southampton, United Kingdom (2)
- University of Washington (5)
- USA Library of Congress (1)
- WestminsterResearch - UK (1)
Resumo:
The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.