Implementing RUSSELL

@inproceedings{Boehm1986ImplementingR,
  title={Implementing RUSSELL},
  author={Hans-Juergen Boehm and Alan J. Demers},
  booktitle={SIGPLAN Symposium on Compiler Construction},
  year={1986}
}
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. Russell treats both functions and types as data objects which can be freely manipulated by the program. Most operators present in conventional programming languages are viewed as function calls. In spite of… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.