Discourses Commemorative of Professor Tayler Lewis and Professor Isaac W. Jackson

Discourses

The universal mission of the church of Christ : a discourse / delivered at Hanley, Staffordshire, August 4, 1884, being the Fernley lecture of 1884, by Benjamin Hellier.

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

Christian missions ; their agents, and their results / by T.W.M. Marshall.

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

Christian missions : their agents and their results (vol. 1) / by T.W.M. Marshall.

http://books.google.com/books?vid=ISBN0665456816&id=sipohllLjKQC&dq=protestant+missions&a_sbrr=1 View book via Google

Bolenge : a story of gospel triumphs on the Congo by Eva May Dye

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

Christian missions : their agents and their results (vol. 2) / by T.W.M. Marshall.

http://books.google.com/books?vid=ISBN0665456816&id=sipohllLjKQC&dq=protestant+missions&a_sbrr=1 View book via Google

An heroic bishop : the life-story of French of Lahore

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

Christian cooperation in Latin America

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

By Eskimo dog-sled and kayak a description of a missionary's experiences and adventures in Labrador

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

Japanese women speak : a message from the Christian women of Japan to the Christian women of America / by Michi Kawai, Ochimi Kubushiro ; cover design and frontispiece by the Japanese artist Rokuyåo.

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

Christian adventures in South Africa

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

Applied type system

We present a type system that can effectively facilitate the use of types in capturing invariants in stateful programs that may involve (sophisticated) pointer manipulation. With its root in a recently developed framework Applied Type System (ATS), the type system imposes a level of abstraction on program states by introducing a novel notion of recursive stateful views and then relies on a form of linear logic to reason about such views. We consider the design and then the formalization of the type system to constitute the primary contribution of the paper. In addition, we mention a prototype implementation of the type system and then give a variety of examples that attests to the practicality of programming with recursive stateful views.

Integrating Sensor-Network Research and Development into a Software Engineering Curriculum

The emergence of a sensor-networked world produces a clear and urgent need for well-planned, safe and secure software engineering. It is the role of universities to prepare graduates with the knowledge and experience to enter the work-force with a clear understanding of software design and its application to the future safety of computing. The snBench (Sensor Network WorkBench) project aims to provide support to the programming and deployment of Sensor Network Applications, enabling shared sensor embedded spaces to be easily tasked with various sensory applications by different users for simultaneous execution. In this report we discus our experience using the snBench research project as the foundation for semester-long project in a graduate level software engineering class at Boston University (CS511).