Concept
Type énuméré
Publications associées (32)
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 MACHINERY2022Type-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 ...
2021A Performance Evaluation of Local Features for Image-Based 3D Reconstruction
Pascal Fua, Bin Fan, Zheng Wang, Xiao Wang
This paper performs a comprehensive and comparative evaluation of the state of the art local features for the task of image based 3D reconstruction. The evaluated local features cover the recently developed ones by using powerful machine learning technique ...
2019Mitsuba 2: A Retargetable Forward and Inverse Renderer
Wenzel Alban Jakob, Tizian Lucien Zeltner, Delio Aleardo Vicini, Merlin Eléazar Nimier-David
Modern rendering systems are confronted with a dauntingly large and growing set of requirements: in their pursuit of realism, physically based techniques must increasingly account for intricate properties of light, such as its spectral composition or polar ...
ASSOC COMPUTING MACHINERY2019SPADE: Tuning scale-out OLTP on modern RDMA clusters
Rachid Guerraoui, Aleksandar Dragojevic, Georgios Chatzopoulos
Distributed transactions on modern RDMA clusters promise high throughput and low latency for scale-out workloads. As such, they can be particularly beneficial to large OLTP workloads, which require both. However, achieving good performance requires tuning ...
Association for Computing Machinery2018Predictive models for assessing the passive solar and daylight potential of neighborhood designs: A comparative proof-of-concept study
Marilyne Andersen, Émilie Nault
Despite recent developments, neighborhood-scale performance assessment at the early-design phase is seldom carried out in practice, notably due to high computational complexity, time requirement, and perceived need for expert knowledge, ultimately limiting ...
2017Higher-Order Subtyping with Type Intervals
Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...
EPFL2017Surveying the Evolution of Computing in Architecture, Engineering, and Construction Education since 2012
This paper presents the results of an online survey that was conducted in 2014 to assess the evolution of computing in architecture, engineering, and construction (AEC) education. A primary goal includes contributing to the understanding of the evolution o ...
American Society of Civil Engineers2016A Generic Algorithm for Checking Exhaustivity of Pattern Matching
Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...
Assoc Computing Machinery2016A generic algorithm for checking exhaustivity of pattern matching
Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...
2016