This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing of mutability. The type system is provably sound, supports polymorphism, and eliminates the need for alias analysis to determine the immutability of a location. A sound and complete type inference algorithm for this s...

This article examines English Evangelical novels focused on the conversion of Jewish characters, published from 1820s to 1850s. It concentrates particularly way these emphasised importance Church England in constructing national and religious identity, used as a critique Catholicism Nonconformity. worship, rabbinic authority Talmudic devotion were linked Roman Catholic attitudes towards priesth...