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
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.
Judaism and the Silk Route
(1998) Foltz, Richard
SPLASH Companion 2022: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
(Association for Computing Machinery (ACM), 2022) Potanin, Alex
Welcome to the SPLASH 2022! After two years of virtual only (SPLASH 2020), closed borders USA only (SPLASH 2021), we finally feel the reopening and going back to the pre-Covid in person vibe of the 37th OOPSLA/SPLASH. I am especially proud of having SPLASH outside of the USA/Canada region for the 3rd time in its history and the first time it is held in the Asia Pacific. We invited the Asian Symposium on Programming Languages and Systems (APLAS) to co-locate with us for the 3rd year in a row to celebrate this occasion.