Type system

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

Related publications (19)

About
Privacy
Disclaimer

Graph Chatbot

Scalable Metaprogramming in Scala 3

Nicolas Alexander Stucki

A metaprogrammer should be able to reason about the semantics of the generated code. Multi-stage programming introduced an elegant and powerful solution to this problem. It follows a semantically driven approach to code generation, where semantics are full ...

EPFL2023

Methodology for selecting measurement points that optimize information gain for model updating

Ian Smith, Numa Joy Bertola

Information collected through sensor measurements has the potential to improve knowledge of complex-system behavior, leading to better decisions related to system management. In this situation, and particularly when using digital twins, the quality of sens ...

2023

Structural topology exploration through policy-based generation of equilibrium representations

Corentin Jean Dominique Fivet, Ioannis Mirtsopoulos

Mainstream approaches to design spatial architectural forms that are structurally relevant consist either in adapting well-known and catalogued conventional types or in searching for close-to-optimum solutions of well-defined problems. Few means exist to e ...

2023

E-Scan: Consuming Contextual Data with Model Plugins

Anastasia Ailamaki, Viktor Sanca

Extracting value and insights from increasingly heterogeneous data sources involves multiple systems combining and consuming the data. With multi-modal and context-rich data such as strings, text, videos, or images, the problem of standardizing the data mo ...

2023

The role of secondary ice production in mixed-phase clouds

Paraskevi Georgakaki

Clouds are omnipresent in the Earth's atmosphere. Their phase composition significantly modulates their interaction with solar and terrestrial radiation, as well as precipitation formation. Particularly for clouds containing both phases, known as mixed-pha ...

EPFL2023

Studies on Types: Dormitories

Tiago André Pratas Borges, Anja Fröhlich, Estelle Lépine, Vanessa Pointet

Concepts of type and typology are not specific to architecture. Rather they represent an interdisciplinary approach to ordering knowledge and gaining insight. In the field of architecture, the study of types and typology offers a didactic perspective that ...

EPFL Press2022

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

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

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain

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

ASSOC COMPUTING MACHINERY2022

Page 2 of 2