Annual report.

Rept. for 1894/95 published in Burlington.The annual reports for 1864-66 have titles: 1864, Charter and by-laws. Report of the proceedings at the annual meeting; 1865, Charter and by-laws. Proceedings of the annual meeting; 1866, Proceedings of the annual meeting; 1869?-1872?, Reports and exhibits, submitted at the annual meeting of the stock holders.Report year varies.Mode of access: Internet

Abstract Quicksilver/OCaml: A Poor Man’s Type-Safe and Abstraction-Secure Communication Library

data in a possibly hostile network environment without losing type safety or abstraction. It is entirely implemented at user level, i.e., without modifying the compiler or the runtime at all. The key ideas are (1) representing types by (tuples of) functions, (2) abstraction by encryption, and (3) distinction of type representations for input and output. We show by examples that the library is useful for implementing applications where not only safety, but also security against malicious attackers is required. 1