Multiple Inheritance via Intersection Types

@inproceedings{Compagnoni1993MultipleIV,
  title={Multiple Inheritance via Intersection Types},
  author={Adriana B. Compagnoni and Benjamin C. Pierce},
  year={1993}
}

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

A typed model for encoding-based protocol interoperability

  • Proceedings of the 12th IEEE International Conference on Network Protocols, 2004. ICNP 2004.
  • 2004
VIEW 1 EXCERPT
CITES BACKGROUND

Simulating multiple inheritance in Java

  • Concurrency and Computation: Practice and Experience
  • 2002
VIEW 2 EXCERPTS
CITES BACKGROUND

Intersection Types and Bounded Polymorphism

  • Mathematical Structures in Computer Science
  • 1997
VIEW 1 EXCERPT
CITES METHODS

On Binary Methods

VIEW 1 EXCERPT
CITES BACKGROUND

A survey on formal models for OO

VIEW 1 EXCERPT
CITES BACKGROUND