Concept
Enumerated type
Related publications (36)
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 ...
2019SPADE: 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 Machinery2018Extending Safe C Support In Leon
As hardware designs get more robust and efficient, software can solve a wider range of challenges, each one more advanced than the previous one. The direct consequence is that software complexity grows continuously. Despite being used more frequently in de ...
2017Surveying 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 Engineers2016