As more applications migrate to the cloud, and as" big data" edges into even more
production environments, the performance and simplicity of exchanging data between …

Structural subty** is popular in research languages, but all mainstream object-oriented
languages use nominal subty**. Since languages with structural subty** are not in …

The language JavaGI extends Java 1.5 conservatively by a generalized interface
mechanism. The generalization subsumes retroactive and type-conditional interface …

Semantic subty** is an approach for defining sound and complete procedures to decide
subty** for expressive types, including union and intersection types; although it has been …

The quest to develop increasingly sophisticated verification systems continues unabated.
Tools such as Dafny, Spec#, ESC/Java, SPARK Ada and Whiley attempt to seamlessly …

Abstract Domain-specific programming is bound to play a central role in improving the
productivity of writing software. This is because modern, intricate, general-purpose …

Combinations of structural and nominal object ty** in systems such as Scala, Whiteoak,
and Unity have focused on extending existing nominal, class-based systems with structural …

We propose an integration of structural subty** with boolean connectives and semantic
subty** to define a Java-like programming language that exploits the benefits of both …

ABSTRACT Although the Principle Of Least Authority (POLA) is a well-recognized guideline
for building secure software systems, there is actually a lack of concepts that really …

This article describes Scala's compilation technique of structural types for the JVM. The
technique uses Java reflection and polymorphic inline caches. Performance measurements …