Skip to main content

Implementing RUSSELL

Hans-Juergen Boehm, Alan J. Demers

DOI 10.1145/12276.13330 dblp BibTeX

Abstract

We have completed an implementation of the Russell programming language [Don 85]. This effort has been very helpful in the evaluation of the original language design. It has also served to pinpoint the difficulties in implementing languages with type systems as general as that of Russell.

Related papers

Making Variables Abstract: An Equational Theory for Russell POPL 1983
Data Types, Parameters, and Type Checking POPL 1980
Decidability of conversion for type theory in type theory POPL 2018
"Type-Completeness" as a Language Design Principle POPL 1980
"Type" Is Not A Type POPL 1986
Implementational Reflection in Silica ECOOP 1991
Implementation of Distributed Trellis ECOOP 1993
Allocation Regions & Implementation Contracts ISMM 1992