The functionality of the recently announced Microsoft .NET system is founded on the
capabilities of the Common Language Infrastructure (CLI). Unlike some other recent systems …

Inter-language interoperability is big business, as the success of Microsoft's. NET and COM
and Sun's JVM show. Programming language designers are designing programming …

tuProlog is a Java-based Prolog engine explicitly designed to be minimal, dynamically
configurable, and support full and clean Prolog/Java integration. In this paper, we discuss …

A session type is an abstraction of a set of sequences of heterogeneous values sent and
received over a communication channel. Session types can be used for specifying stream …

Interoperability is big business, a fact to which. NET, the JVM, and COM can attest.
Language designers are well aware of this, and they are designing programming languages …

(57) ABSTRACT A system and method for multi-language compilation is provided. The
system and method provide a mechanism for two or more separately written compiler …

As a value flows across the boundary between interoperating languages, it must be checked
and converted to fit the types and representations of the target language. For simple forms of …

This paper describes the genesis and early history of the F# programming language. I start
with the origins of strongly-typed functional programming (FP) in the 1970s, 80s and 90s …

The Common Language Runtime (CLR) is language and platform-neutral, and provides the
underlying infrastructure for the Microsoft. NET Framework. A key innovation in the CLR is its …

In this paper we study the problem of interoperability---combining constructs from two
separate programming languages within one program---in the case where one of the two …