1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…