José Lucas Rangel

Learn More
1 Introduction Since Smalltalk, many programming languages have tried to capture the flexibility of object-oriented languages into a static type system. Almost every object-oriented language presents its own concept of type system. Usually, these different type systems are incompatible, in the sense that a correct hierarchy in one language can not be easily(More)
  • 1