Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Existential therapy

Related publications (5)

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

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

Alginate-Poly(ethylene glycol) Hybrid Microspheres for Primary Cell Microencapsulation

Jutta Christine Wandrey, Redouan Mahou

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

Therapeutic Strategies for the Treatment of Atrial Fibrillation : New Insights from Biophysical Modeling and Signal Processing

Laurent Renaud Uldry

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

John-Théodore -alias Jack- Cornaz (1886-1974) : un architecte à contre-jour

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