A proposal for the better supplying of churches in our foreign plantations, and for converting the savage Americans to Christianity, by a college to be erected in the Summer Islands, otherwise called the Isles of Bermuda.

http://www.archive.org/details/proposalforbette00berkrich

Workers' compensation in the United States: high costs, low benefits

Studies suggest that income replacement is low for many workers with serious occupational injuries and illnesses. This review discusses three areas that hold promise for raising benefits to workers while reducing workers' compensation costs to employers: improving safety, containing medical costs, and reducing litigation. In theory, workers' compensation increases the costs to employers of injuries and so provides incentives to improve safety. Yet, taken as a whole, research does not provide convincing evidence that workers' compensation reduces injury rates. Moreover, unlike safety and health regulation, workers' compensation focuses the attention of employers on individual workers. High costs may lead employers to discourage claims and litigate when claims are filed. Controlling medical costs can reduce workers' compensation costs. Most studies, however, have focused on costs and have not addressed the effectiveness of medical care or patient satisfaction. Research also has shown that workers' compensation systems can reduce the need for litigation. Without litigation, benefits can be delivered more quickly and at lower costs.

Program Representation Size in an Intermediate Language with Intersection and Union Types

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.