Concept
C++
Publications associées (78)
When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism
Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki
Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...
Assoc Computing Machinery2024Semantic Shape Editing with Parametric Implicit Templates
We propose a semantic shape editing method to edit 3D triangle meshes using parametric implicit surface templates, benefiting from the many advantages offered by analytical implicit representations, such as infinite resolution and boolean or blending opera ...
2024Cooperative Concurrency Control for Write-Intensive Key-Value Workloads
Babak Falsafi, Alexandros Daglis, Mark Johnathon Sutherland
Key-Value Stores (KVS) are foundational infrastructure components for online services. Due to their latency-critical nature, today’s best-performing KVS contain a plethora of full-stack optimizations commonly targeting read-mostly, popularity-skewed worklo ...
ACM2023A 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 York2022Abstractions for Type-Level Programming
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 ...
EPFL2022Linear Lipschitz and C-1 extension operators through random projection
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and C-1 functions. This way we prove more directly a result by Lee and Naor [5] and we generalize the C-l extension theorem by ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2021Construction of Functional Superhydrophobic Biochars as Hydrogen Transfer Catalysts for Dehydrogenation of N-Heterocycles
To endow metal-free materials with the high catalytic activity that is typically featured by a metal-based catalyst is yet a constant pursuit in the field of catalytic chemistry. In this work, novel functional biochars (DCNs) were prepared from wheat straw ...
AMER CHEMICAL SOC2021Synthesis of Chiral Cyclopentadienyl Complexes and Applications Towards C-H Functionalization
Metal-catalysed C-H bond functionalization has received tremendous attention and developed rapidly over the past decades. Cyclopentadienyl (Cp) metal complexes and their asymmetric counterparts (CpX) are part of a central organometallic category empowering ...
EPFL2021