Inférence de types

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

Publications associées (21)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Abstractions for Type-Level Programming

Olivier Eric Paul Blanvillain

Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety. Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably du ...

EPFL2022

Macrocyclization of omega-Isocyanoaldehydes and Towards the Total Synthesis of Jamaicensamide A

Teerawat Songsichan

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

EPFL2021

Transgenic Model Systems Have Revolutionized the Study of Disease

Alexandre Gauthier Aurèle Mayran, Christopher Chase Bolt

The current pandemic caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has affected most of the world in a profound way. As an indirect consequence, the general public has been put into direct contact with the research process, almost ...

MARY ANN LIEBERT, INC2021

Predictive brain: Addressing the level of representation by reviewing perceptual hysteresis

David Pascucci

In recent years, the idea that the prediction of sensory input is one of the major computational goals of the nervous system led to the development of several large-scale theories of brain functioning, such as different versions of the Bayesian approach to ...

ELSEVIER MASSON, CORP OFF2021

Acute and Long-Term Effects of Aortic Compliance Decrease on Central Hemodynamics: A Modeling Analysis

Nikolaos Stergiopoulos, Georgios Rovas, Vasiliki Bikia, Stamatia Zoi Pagoulatou

Aortic compliance is an important determinant of cardiac afterload and a contributor to cardiovascular morbidity. In the present study, we sought to provide in silico insights into the acute as well as long-term effects of aortic compliance decrease on cen ...

FRONTIERS MEDIA SA2021

Complements to Mugge and Friedel's Theory of Twinning

Cyril Cayron

The crystallography of twinning is based on the concepts of simple shear and obliquity introduced by Mugge, Mallard and Friedel at the turn of the last century, with tensor mathematics later developed by Bilby, Bevis and Crocker in the 1960s. We propose a ...

2020

Flexure-based mecano-optical multi-degree-of-freedom transducers dedicated to medical force sensing instruments

Sebastian Krzysztof Fifanski

This thesis develops novel multi-degrees-of-freedom flexure-based force sensors by exploiting white light interferometry. Fabry-Pérot interferometry measurement has nanometric accuracy which yields sub milli-Newton force sensing accuracy. Such force sensin ...

EPFL2020

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

Integral Convexity And Parabolic Systems

Bernard Dacorogna

In this work we give optimal, i.e., necessary and sufficient, conditions for integrals of the calculus of variations to guarantee the existence of solutions-both weak and variational solutions-to the associated L-2-gradient flow. The initial values are mer ...

SIAM PUBLICATIONS2020

Page 2 sur 3