Language Integration Through a Common Type System

21.05.2001

Foredragsholdere
Jim Miller

Abstact:
Integrating multiple programming languages so that they can inherit from one another, and thus share a common class library, is a difficult problem because of the diversity of type systems found in programming languages. This talk describes a common type system for this purpose that has been used to deeply integrate over 15 languages, including both commercial and research languages, ranging from C++ to ML to Haskell to SmallTalk to C#. But providing a common type system alone isn't enough to allow programmers to create class libraries for use in multiple languages. In addition, a subset of the full type system, which we call the common language specification, is required for external interfaces that are designed for used across languages. This talk describes the common type system, the common language specification, and their implementation in the Microsoft Common Language Runtime.



About the speaker:
Dr. Miller holds a PhD from the Massachusetts Institute of Technology, and is currently a Lead Program Manager for Microsoft Corporation. His research work over the past 25 years has included parallel processing, programming languages, programming environments, computer security and collaborative systems. In addition, he created and managed the Technology and Society Domain at the World Wide Web Consortium, where he dealt with issues of child protection (PICS), privacy protection (P3P), security and trust management, electronic commerce, and accessibility.



Alle interesserte er hjertelig velkomne til å delta på foredraget. Eventuelle spørsmål i tilknytning til Jim Miller sitt foredrag ved Institutt for informatikk kan rettes til Dag Johansen, tlf 7764 4047.