Skip to search formSkip to main contentSkip to account menu

An Overview of the Scala Programming Language

This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs

It is argued that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.
View on ACM (opens in a new tab)

Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd Edition

Programming in Scala introduces functional programming from the practitioner's perspective, and describes advanced language features that can make you a better, more productive developer.

Making the future safe for the past: adding genericity to the Java programming language

GJ increases expressiveness and safety: code utilizing generic libraries is no longer buried under a plethora of casts, and the corresponding casts inserted by the translation are guaranteed to not fail.
View on ACM (opens in a new tab)

Pizza into Java: translating theory into practice

Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is defined by…
View on ACM (opens in a new tab)

Scalable component abstractions

Three programming language abstractions are identified for the construction of reusable components: abstract type members, explicit selftypes, and modular mixin composition, which enable an arbitrary assembly of static program parts with hard references between them to be transformed into a system of reusable component.
View on ACM (opens in a new tab)

A call-by-need lambda calculus

This paper derives an equational characterization of call-by-need and proves it correct with respect to the original lambda calculus and is a strictly smaller theory than the lambda calculus.
View on ACM (opens in a new tab)

Scala Actors: Unifying thread-based and event-based programming

View via Publisher (opens in a new tab)

Independently Extensible Solutions to the Expression Problem

Solutions to the expression problem are proposed that make it possible to combine independent extensions in a flexible, modular, and typesafe way and are formulated in the programming language Scala.

A Statically Safe Alternative to Virtual Types

This paper suggests a variant of virtual types which has similar expressiveness, but supports safe static type checking, which results in a language in which both parametric types and virtual types are well-integrated, and which is statically type-safe.
View via Publisher (opens in a new tab)
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)