Concept

Psychothérapie existentielle

Publications associées (7)

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

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, paramet ...

2015

The progress of medical therapies, which rely on the transplantation of microencapsulated living cells, depends on the quality of the encapsulating material. Such material has to be biocompatible, and the microencapsulation process must be simple and not h ...

Mdpi Ag2014

Atrial fibrillation is the most common cardiac rhythm disorder encountered in clinical practice, often leading to severe complications such as heart failure and stroke. This arrhythmia, increasing in prevalence with age, already affects several millions of ...

EPFL2011

The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...

2008

Villes à la frontière et transformation de l'espace

Lena Poschet El Moudden

Few borders exist which separate two countries as dramatically disparate as the Dominican Republic and Haiti. Both share the territory of the Hispaniola island, but a profound process of differentiation rooted in the colonial division of the island between ...

EPFL2006

John-Théodore -alias Jack- Cornaz (1886-1974)

Nadja Maillard

On November the 14th 1974, Jack Cornaz died in Lausanne, the town where he was born in 1886. This study traces the unusual career of this architect – a singular figure in the field of Swiss-French architecture of the twentieth century – whose name, from th ...

EPFL2005

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search