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.
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC
In the collective imagination, the villa is a manifesto of ‘the good life’ (Abalos, 2016) and probably the most archaic building still surviving today. Since the first appearance of the term, the villa has evolved into a more comprehensive notion referring ...
In the collective imagination, the villa is a manifesto of ‘the good life’ (Abalos, 2016) and probably the most archaic building still surviving today. Since the first appearance of the term, the villa has evolved into a more comprehensive notion referring ...
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is not e ...
In the first chapter of this thesis, the macrocyclization of a new type of bifunctional substrates, omega-isocyanoaldehyde derivatives, is described. Ten different omega-isocyanoaldehydes in terms of different ring sizes and functional groups were prepared ...
Rances in the north of Vaud suffered last year from the effects of large soil movement. Rances became the new playground where MeduSoil technology was tested as a remediation for this type of events. This is a decisive new step, after the technology has be ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
Pt-group metal (PGM)-free catalysts of the Me-N-C type based on abundant and inexpensive elements have gained importance in the field of oxygen reduction reaction (ORR) electrocatalysis due to their promising ORR-activities. Their insufficient stability, h ...
The Quantified Self (QS) members explore the relation between self-tracking and individual change. Berger and Luckmann insists that individual change begins with a disruptive emotion. It continues with the public sharing of the story of the event. Then the ...
We study the multitype contact process on Z(d) under the assumption that one of the types has a birth rate that is larger than that of the other type, and larger than the critical value of the standard contact process. We prove that, if initially present, ...
