Concept

Algebraic data type

Related publications (221)

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.

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

Historical perspective and basic principles

Luc Thévenaz

We give a broad overview of the historical development and physics of Brillouin scattering. We discuss the seminal papers of Brillouin and Mandelstam and give the historical context of their research. We discuss the development of experiments and observati ...

Elsevier2022

Conductive-Type Behaviors In The Dynamics Of Complex Systems Through Scale Relativity Theory

Maria-Alexandra Paun

Conductive-type dynamics in complex systems in the framework of Scale Relativity Theory are analyzed. Using the Madeling scenario in the description o f complex system dynamics through continuous and nondifferentiable curves (fractal/multifractal curves), ...

UNIV POLITEHNICA BUCHAREST, SCI BULL2022

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

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

Mental data protection and the GDPR

Marcello Ienca

Although decoding the content of mental states is currently unachievable, technologies such as neural interfaces, affective computing systems, and digital behavioral technologies enable increasingly reliable statistical associations between certain data pa ...

OXFORD UNIV PRESS2022

Virtual ADTs for Portable Metaprogramming

Martin Odersky, Nicolas Alexander Stucki

Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or ...

ASSOC COMPUTING MACHINERY2021

Catch Me If You Can Designing a Disobedient Object to Protest Against GSM Surveillance

Félicien Michel Marie Goguey

In this article, I discuss the process of designing an object to protest against a specific surveillance device: the IMSI catcher, a controversial object used to monitor GSM networks. Being widely used in protests, I develop a tactical approach based on ob ...

ASSOC COMPUTING MACHINERY2021

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain, Jonathan Immanuel Brachthäuser

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents \emph{match ...

2021