An Informal Description of Russell

Authors:
Hans Boehm;Alan J. Demers;James E. Donahue
Affiliations:
-;-;-
Venue:
An Informal Description of Russell
Year:
1980

Citing 0
Cited 12

Data types are values

ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing RUSSELL

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Object structure in the Emerald system

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type inference in the presence of type abstraction

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Static dependent types for first class modules

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Lucinda—an overview

ACM SIGPLAN Notices
A type-theoretic approach to higher-order modules with sharing

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using dependent types to express modular structure

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
"Type" is not a type

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Making variables abstract: an equational theory for Russell

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Implementing SMART for minicomputers via relational processing With abstract data types

SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Prettyprinting styles for various languages

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

NO ABSTRACT SUPPLIED