Open Research Repository
The Open Research Repository is the University’s online open access repository for collecting, maintaining and disseminating the scholarly output of the University.
Contribute to the Open Research Repository
Communities in DSpace
Select a community to browse its collections.
Recent Submissions
The Central Asian Naqshbandi Connections of the Mughal Emperors
(1996) Foltz, Richard
The Tajiks of Uzbekistan
(1996) Foltz, Richard
A Theory of Tagged Objects
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2015-07-01) Lee, Joseph; Aldrich, Jonathan; Shaw, Troy; Potanin, Alex
Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model statically-typed object-oriented languages that support dynamic class creation using foundational constructs of type theory. We start with an extensible tag construct motivated by type theory, and adapt it to support static reasoning about class hierarchy and the tags supported by each object. The result is a model that better explains the relationship between objectoriented and functional programming paradigms, suggests a useful enhancement to functional programming languages, and paves the way for more expressive statically typed object-oriented languages. In that vein, we describe the design and implementation of the Wyvern language, which leverages our theory.
The Environmental Crisis and Global Violence: A Matter of Misplaced Values
(2010) Foltz, Richard
The most pervasive and dangerous form of global violence today is violence against the Earth’s life-support systems. Environmental degradation is directly linked to other forms of violence such as war, poverty, and oppression. In the environmentally-fragile and overpopulated Middle East, these linkages are all the more pronounced, though they are often obscured by political and other factors.The environmental crisis has arisen due to a crisis in values. All over the world, traditional value systems which taught respect for natural resources have been overwhelmed by the values of the Religion of the Market, in which all things are reduced to mere commodities for sale. As the major source of values in the world today, the Religion of the Market is the primary agent of global violence against humans and against the Earth in general. In the Middle East, where most people identify as Muslims, Islam can serve as a counterbalance to the Religion of the Market,
but for this to happen Islamic teachings on the environment need to be better articulated and more broadly disseminated than has been the case to date.
A Coq implementation of a Theory of Tagged Objects
(2025) Gates, Matthew; Potanin, Alex
We present a first step towards the Coq implementation of the Theory of Tagged Objects formalism. The concept of tagged types is encoded, and the soundness proofs are discussed with some future work suggestions.