Regular types for active objects

Abstract Previous work on type-theoretic foundations for object-oriented programming languages has mostly focused on applying or extending functional type theory to functional “objects. ” This approach, while benefiting from a vast body of existing literature, has the disadvantage of dealing with st... View More