Although systems with intersection types have many unique capabilities, there has never been a fully satisfactory explicitly typed system with intersection types. We introduce and prove the basic properties of λ, a typed λ-calculus with branching types and types with quantification over type selection parameters. The new system λ is an explicitly typed system with the same expressiveness as a s...

The Internet Research Task Force (IRTF) has responsibility for organizing groups to investigate research topics related to the Internet protocols, applications, and technology. IRTF activities are organized into Research Groups. This document describes the guidelines and procedures for formation and operation of IRTF Research Groups. It describes the relationship between IRTF participants, Rese...

This study uses a prospective qualitative approach. The Ethnographic Delphi Futures Research (EDFR) technique is used to propose a learning society model. The data include a review of the peer-reviewed literature, a field study visit and observation of five best practices communities in Thailand, in-depth interviews to gain experts’ perspectives, mini-Delphi techniques questionnaires, focus gro...

This study's purpose was to learn why some youth who participated in the Strong African American Families (SAAF) program increased alcohol use after 2 years whereas other youth did not. Using a sample of 28 African American caregiver-youth dyads, the authors collected qualitative data to explore these issues. Findings underscore the importance of caregivers' practicing vigilant monitoring to ke...