most citedGraV: Grasp Volume Data for the Design of One-Handed XR Interfaces

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

Unboxing Virgil ADTs for Fun and Profit

Bradley Wei Jie Teo, Ben L. Titzer

Algebraic Data Types (ADTs) are an increasingly common feature in modern programming languages. In many implementations, values of non-nullary, multi-case ADTs are allocated on the…