Concept

Intuitionistic type theory

Related publications (32)

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

New York2022

An Exploratory Study of Reactions to Bot Comments on GitHub

Denis Gillet, Juan Carlos Farah, Sandy Ingram, Xinyang Lu

The widespread use of bots to support software development makes social coding platforms such as GitHub a particularly rich source of data for the study of human-bot interaction. Software development bots are used to automate repetitive tasks, interacting ...

ACM2022

Pedestrian typologies - nuanced considerations of urban walking

Vincent Kaufmann, Renate Albrecher

The analyses of urban environments, norms, micro-census and scientific studies reveal a variety of myths about pedestrians. One of them is the dominant representation of the pedestrian: A single person, usually with healthy body and in leisure mode. Pedest ...

2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Towards elucidating the structural and cellular determinants of a-synuclein seeding and toxicity

Somanath Jagannath

Although it has been nearly two and half decades since the discovery of alpha-synuclein (aSyn) as the major component of Lewy bodies (LBs), our understanding of the involvement of different aSyn species, their seeding, spreading and toxicity in Parkinson's ...

EPFL2022

Steel Sheet Sheathed Cold-Formed Steel Framed In-line Wall Systems. I: Impact of Structural Detailing

Fani Derveni

The North American construction industry has seen substantial growth in the use of cold-formed steel (CFS) framing for midrise buildings in recent years. In seismic zones, CFS-framed buildings utilize shear walls to provide the primary lateral resistance t ...

ASCE-AMER SOC CIVIL ENGINEERS2022

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

A Fundamental Limit of Distributed Hypothesis Testing Under Memoryless Quantization

Ali H. Sayed, Emre Telatar, Mert Kayaalp, Yunus Inan

We consider a distributed binary hypothesis testing setup where multiple nodes send quantized information to a central processor, which is oblivious to the nodes’ statistics. We study the regime where the type-II error decays exponentially and the type-I e ...

2021

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

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.