Combining structural subtyping and external dispatch

Authors:
Donna Malayeri;Jonathan Aldrich
Affiliations:
Carnegie Mellon University, Pittsburgh, PA;Carnegie Mellon University, Pittsburgh, PA
Venue:
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Year:
2007

Citing 2
Cited 2

Modular typechecking for hierarchically extensible datatypes and functions

ACM Transactions on Programming Languages and Systems (TOPLAS)
MultiJava: Design rationale, compiler implementation, and applications

ACM Transactions on Programming Languages and Systems (TOPLAS)

Integrating Nominal and Structural Subtyping

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Simple and safe SQL queries with C++ templates

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the design of our language, Unity. Unity has a novel subtyping system that combines both by-name and structural subtyping. With this combination, Unity provides the flexiblity of structural subtyping while still allowing static typechecking of external methods.