Concept

Polymorphism (computer science)

Related publications (71)

Does scaling player size skew one’s ability to correctly evaluate object sizes in a virtual environment?

Ronan Boulic, Bruno Herbelin, Mathias Guy Delahaye

This paper presents the results of a study performed in order to evaluate whether a navigation technique, based on scaling the user’s avatar, impacts the user’s ability to correctly assess the size of virtual objects in a virtual environment. This study wa ...

Association for Computing Machinery2020

Two new polymorphic structures of human full-length alpha-synuclein fibrils solved by cryo-electron microscopy

Henning Paul-Julius Stahlberg, Ricardo Cesar Guerrero Ferreira, Pratibha Kumari

Intracellular inclusions rich in alpha-synuclein are a hallmark of several neuropathological diseases including Parkinson’s disease (PD). Previously, we reported the structure of alpha-synuclein fibrils (residues 1–121), composed of two protofibrils that a ...

2019

Adaptation of hepatitis C virus to interferon lambda polymorphism across multiple viral genotypes

Jacques Fellay, Nimisha Chaturvedi

Genetic polymorphism in the interferon lambda (IFN-lambda) region is associated with spontaneous clearance of hepatitis C virus (HCV) infection and response to interferon-based treatment. Here, we evaluate associations between IFN-l polymorphism and HCV va ...

ELIFE SCIENCES PUBLICATIONS LTD2019

Unified picture of lattice instabilities in metallic transition metal dichalcogenides

Oleg Yazyev, Diego José Pasquier

Transition metal dichalcogenides (TMDs) in the 1T polymorph are subject to a rich variety of periodic lattice distortions, often referred to as charge-density waves (CDWs) when not too strong. We study from first principles the fermiology and phonon disper ...

AMER PHYSICAL SOC2019

Cross-Platform Language Design

Sébastien Jean R Doeraene

Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model. Furthermore, they need to interact with other languages targeting said runtimes. A language targeting only one runtim ...

EPFL2018

Higher-Order Subtyping with Type Intervals

Sandro Stucki

Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...

EPFL2017

Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers

Nada Amin

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down) casting. Fortunately, parame ...

Assoc Computing Machinery2016

Call Graphs for Languages with Parametric Polymorphism

Martin Odersky, Vlad Ureche, Dmytro Petrashko

The performance of contemporary object oriented languages depends on optimizations such as devirtualization, inlining, and specialization, and these in turn depend on precise call graph analysis. Existing call graph analyses do not take advantage of the in ...

2016

The Essence of Dependent Object Types

Martin Odersky, Tiark Rompf, Nada Amin, Sandro Stucki, Karl Samuel Grütter

Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D-

Springer International Publishing2016

Type Soundness for Dependent Object Types (DOT)

Tiark Rompf, Nada Amin

Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

Assoc Computing Machinery2016

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.