Projects per year
Abstract
Type systems can be used for tracking dimensional consistency of numerical computations: we present an extension from dimensions of scalar quantities to dimensions of vectors and matrices, making use of dependent types from programming language theory. We show that our types are unique, and most general. We further show that we can give straightforward dimensioned types to many common matrix operations such as addition, multiplication, determinants, traces, and fundamental row operations.
| Original language | English |
|---|---|
| Title of host publication | Advanced Mathematical and Computational Tools in Metrology and Testing XII |
| Place of Publication | Singapore |
| Publisher | World Scientific Publishing Co. Pte Ltd |
| Number of pages | 15 |
| Publication status | Accepted/In press - 8 Jan 2021 |
| Event | Advanced Mathematical and Computational Tools in Metrology and Testing XII - Sarajevo, Bosnia and Herzegovina Duration: 15 Sept 2020 → 17 Sept 2020 |
Publication series
| Name | Series on Advances in Mathematics for Applied Sciences |
|---|---|
| Publisher | World Scientific |
| ISSN (Print) | 1793-0901 |
Conference
| Conference | Advanced Mathematical and Computational Tools in Metrology and Testing XII |
|---|---|
| Abbreviated title | AMCTMT XII |
| Country/Territory | Bosnia and Herzegovina |
| City | Sarajevo |
| Period | 15/09/20 → 17/09/20 |
Keywords
- units of measure
- dimensions
- type systems
- dependent types
Fingerprint
Dive into the research topics of 'Type systems for programs respecting dimensions'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Trusted Systems
Ghani, N. (Principal Investigator), McBride, C. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
National Physical Laboratory NPL
1/10/19 → 30/09/24
Project: Research