A Funeral Sermon on the death of Noah Levings

Funeral Sermon

Memorial Services on the death of Franklin J. Jilsby

Memorial Sermon.

A Sermon occasioned by the death of Mrs. Sarah R. Baker

Funeral sermon

A Sermon on the occasion of the death of Mrs. Mary Chapman Halsey

Memorial Sermon

A Collection of Memorial Addresses about the Death of James A. Garfield

Printed pamphlet of sermons presented by ministers and pastors after the death of President James A. Garfield.

Addresses on the death of the Hon. T.H.Hicks

Addresses delivered in the Senate and House of Representatives.

The Missionary pioneer, or, A brief memoir of the life, labours, and death of John Stewart, (man of colour) founder, under God of the mission among the Wyandotts at Upper Sandusky, Ohio / Published by Joseph Mitchell.

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

An Algorithm for Inferring Quasi-Static Types

This report presents an algorithm, and its implementation, for doing type inference in the context of Quasi-Static Typing (QST) ["Quasy-static Typing." Satish Thatte Proc. ACM Symp. on Principles of Programming Languages, 1988]. The package infers types a la "QST" for the simply typed λ-calculus.