Publications associées à Scala (langage)

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Foundations of Path-Dependent Types

Martin Odersky, Tiark Rompf, Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. An essential ingredient of this unification is the concept of objects wit ...

Assoc Computing Machinery2014

Scala AST Persistence

Adrien Ghosn, Eugene Burmako, Mathieu Baptiste Demarne

The Scala compiler uses ASTs (abstract syntax trees) as an intermediate representation before generating bytecode. With the development of Scala macros which expand trees at compile time, being able to access, modify and recompose ASTs within the compilati ...

2014

Late Data Layout: Unifying Data Representation Transformations

Martin Odersky, Eugene Burmako, Vlad Ureche

Values need to be represented differently when interacting with certain language features. For example, an integer has to take an object-based representation when interacting with erased generics, although, for performance reasons, the stack-based value re ...

ACM2014

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche, Cédric Bastin

The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...

ACM2014

Improving the Performance of Scala Collections with Miniboxing

Martin Odersky, Vlad Ureche, Aymeric Genet

Using generics, Scala collections can be used to store different types of data in a type-safe manner. Unfortunately, due to the erasure transformation, the performance of generics is degraded when storing primitive types, such as integers and floating poin ...

2014

BlitzViews - lazy parallel operations for Scala collections

Martin Odersky, Axel Angel, Dmytro Petrashko

Scala is a powerful language which cur- rently provides a built-in library for non- strict Views with some important shortcom- ings for the users such as unexpected and unintuitive behaviors. In this work we cre- ated a new library, based on Scala Blitz, t ...

2014

Making sbt Macro-Aware

Eugene Burmako, Martin Nicolas Duhem

Macros made their first appearance as a fork of the Scala compiler and then as an experimental feature in the version 2.10.0 of Scala. Since macros are normal Scala functions that are executed by the compiler during the compilation of their clients, they c ...

2014

Building Efficient Query Engines in a High-Level Language

Christoph Koch, Ioannis Klonatos, Tiark Rompf, Hassan Chafi

In this paper we advocate that it is time for a radical rethinking of database systems design. Developers should be able to leverage high-level programming languages without having to pay a price in efficiency. To realize our vision of abstraction without ...

2014

Scala (langage)

Graph Chatbot

Chattez avec Graph Search

Foundations of Path-Dependent Types

Scala AST Persistence

Late Data Layout: Unifying Data Representation Transformations

Improving Human-Compiler Interaction Through Customizable Type Feedback

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Improving the Performance of Scala Collections with Miniboxing

BlitzViews - lazy parallel operations for Scala collections

Making sbt Macro-Aware

Additional Material for "Unifying Data Representation Transformations"

Building Efficient Query Engines in a High-Level Language

Additional Material for "Unifying Data Representation Transformations"

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Foundations of Path-Dependent Types

BlitzViews - lazy parallel operations for Scala collections

Late Data Layout: Unifying Data Representation Transformations

Improving Human-Compiler Interaction Through Customizable Type Feedback

Scala AST Persistence

Improving the Performance of Scala Collections with Miniboxing

Making sbt Macro-Aware

Building Efficient Query Engines in a High-Level Language