17 citations · 23 across the 8 of their papers we have counts for
1 paper · 2 filters
Matthew Danish, Dominic Orchard, Andrew Rice
Despite an abundance of proposed systems, the verification of units-of-measure within programs remains rare in scientific computing. We attempt to address this issue by providing a…