Sciweavers

VL
2002
IEEE
16 years 10 days ago
Visually Customizing Inference Rules About Apples and Oranges
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
Margaret M. Burnett, Martin Erwig