A discourse delivered on Thanksgiving Day, Dec. 7, 1837 : in the Unitarian Church, Keene, N.H.

The print copy of this sermon is held by Pitts Theology Library. The Pitts Theology Library's digital copy was produced as part of the ATLA/ATS Cooperative Digital Resources Initiative (CDRI), funded by the Luce Foundation. Electronic reproduction. Atlanta, Georgia : Pitts Theology Library, Emory University, 2003. (Thanksgiving Day Sermons, ATLA Cooperative Digital Resources Initiative, CDRI). Joint CDRI project by: Andover-Harvard Library (Harvard Divinity School), Pitts Theology Library (Emory University), and Princeton Theological Seminary Libraries.

The crown of Hinduism, by J. N. Farquhar ..

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

A mission in China / by W.E. Soothill.

http://books.google.com/books?vid=OCLC05060511&id=B1cMAAAAIAAJ&a_sbrr=1 via Google Book Index

The parochial mission : a handbook for the use of incumbents and missioners/ by W.J.L. Sheppard ... with a preface by the Lord Bishop of Sodor and Man.

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

Modern religious movements in India.

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

The law and custom of slavery in British India : in a series of letters to Thomas Fowell Buxton, Esq. by William Adam; Thomas Fowell Buxton, Sir

http://books.google.com/books?id=plhkPFrJ1QUC&dq=law+and+custom+of+slavery+in+British+India

The Hawaiian Islands, as developed by missionary labors. By Andrew P. Peabody. From the Boston Review for May, 1865.

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

Memorial volume of the first fifty years of the American Board of Commissioners for Foreign Missions

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

History of Christian missions / by Charles Henry Robinson

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

On the Marginal Utility of Deploying Measurement Infrastructure

The cost and complexity of deploying measurement infrastructure in the Internet for the purpose of analyzing its structure and behavior is considerable. Basic questions about the utility of increasing the number of measurements and/or measurement sites have not yet been addressed which has lead to a "more is better" approach to wide-area measurements. In this paper, we quantify the marginal utility of performing wide-area measurements in the context of Internet topology discovery. We characterize topology in terms of nodes, links, node degree distribution, and end-to-end flows using statistical and information-theoretic techniques. We classify nodes discovered on the routes between a set of 8 sources and 1277 destinations to differentiate nodes which make up the so called "backbone" from those which border the backbone and those on links between the border nodes and destination nodes. This process includes reducing nodes that advertise multiple interfaces to single IP addresses. We show that the utility of adding sources goes down significantly after 2 from the perspective of interface, node, link and node degree discovery. We show that the utility of adding destinations is constant for interfaces, nodes, links and node degree indicating that it is more important to add destinations than sources. Finally, we analyze paths through the backbone and show that shared link distributions approximate a power law indicating that a small number of backbone links in our study are very heavily utilized.

Inferring Intersection Typings that are Equivalent to Call-by-Name and Call-by-Value Evaluations

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.