Concept

Substructural type system

Related publications (62)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Implementing a Type Debugger for Scala

Martin Odersky, Hubert Plociniczak

Statically-typed languages offer type systems that are less and less comprehensible for programmers as the language grows in complexity. In this paper, we present a type debugger, a tool that enables analysis of type-related problems as well as exploration ...

2012

Relative Effect Declarations for Lightweight Effect-Polymorphism

Martin Odersky, Lukas Rytz

Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. A major roadblock in adopting effect systems in popular languages is the tradeoff between expressiveness and verbosity. In this technical report ...

2012

Dependent Object Types

Martin Odersky, Nada Amin

We propose a new type-theoretic foundation of Scala and languages like it: the Dependent Object Types (DOT) calculus. DOT models Scala’s path-dependent types, abstract type members and its mixture of nominal and structural typing through the use of reﬁneme ...

2012

Lightweight Polymorphic Effects

Martin Odersky, Philipp Haller, Lukas Rytz

Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in a wide-spread industrial language: Java’s checked exception ...

Springer-Verlag2012

Optical absorption of small copper clusters in neon: Cu-n, (n=1-9)

Wolfgang Harbich, Sylvain Lecoultre, Alexandre Rydlo

We present optical absorption spectra in the UV-visible range (1.6 eV < omega < 5.5 eV) of mass selected neutral copper clusters Cu-n(n = 1-9) embedded in a solid neon matrix at 7 K. The atom and the dimer have already been measured in neon ma ...

American Institute of Physics2011

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...

Springer2010

Isolated Actors for Race-Free Concurrent Programming

Philipp Haller

Message-based concurrency using actors has the potential to scale from multicore processors to distributed systems. However, several challenges remain until actor-based programming can be applied on a large scale. First, actor implementations must be effic ...

EPFL2010

Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective

Martin Odersky, Gilles Dubochet

This article describes Scala's compilation technique of structural types for the JVM. The technique uses Java reflection and polymorphic inline caches. Performance measurements of this technique are presented and analysed. Further measurements compare Scal ...

2009

Anomalous Magnetic Excitations of Cooperative Tetrahedral Spin Clusters

Henrik Moodysson Rønnow, Helmuth Berger, Joël Mesot, Johan Juul Chang, Krunoslav Prsa

An inelastic neutron scattering study of Cu2Te2O5X2 (X=Cl, Br) shows strong dispersive modes with large energy gaps persisting far above T-N, notably in Cu2Te2O5Br2. The anomalous features: a coexisting unusually weak Goldstone-like mode observed in Cu2Te2 ...

2009

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

2009