• Publications
  • Influence
An Overview of the Scala Programming Language
TLDR
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
An Overview of the Scala Programming Language Second Edition
TLDR
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
An Overview of the Scala Programming Language (2. Edition)
TLDR
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
Adding Type Constructor Parameterization to Java
We present a generalization of Java’s parametric polymorphism that enables parameterization of classes and methods by type constructors, i.e., functions from types to types. Our extension is
Inner Classes and Virtual Types
TLDR
The main contribution of this work is to show that typing virtual types in the presence of inner classes requires some kind of alias analysis and to formalize this mechanism with a simple calculus.
Pragmatic type interoperability
TLDR
This work presents a pragmatic approach to deal with type interoperability in a dynamic and distributed environment based on an optimistic transport protocol, specific serialization mechanisms and a set of implicit type conformance rules.
A typed intermediate language and algorithms for compiling scala by successive rewritings
TLDR
A typed intermediate language that generalizes some aspects of Scala and thus enables the rewriting of all programs is described, and the two rewriting phases are formally described using this intermediate language.
An Introduction to Scala
TLDR
To facilitate the construction of case class instances, Scala does not require that the new primitive is used, and one can simply use the class name as a function.
Abstract Type Constructors for Java-like Languages
TLDR
Type Constructors for Java-like Languages Philippe Altherr and Vincent Cremet describe the construction of types for types in Java and show some of the properties that need to be optimized for type-based programming.
NOLC : Network and Online Consulting
TLDR
The aim of the Network and on-line Consulting project is to reduce cost in consulting by providing a platform that supports on-LINE connections between one or several clients and one orSeveral consultants.
...
1
2
...