Type systems for programs respecting dimensions

McBride, Conor and Nordvall Forsberg, Fredrik; (2021) Type systems for programs respecting dimensions. In: Advanced Mathematical and Computational Tools in Metrology and Testing XII. Series on Advances in Mathematics for Applied Sciences . World Scientific Publishing Co. Pte Ltd, BIH. (In Press)

Preview

Text. Filename: McBride_etal_amctmtxii2021_type_systems_for_programs_respecting_dimensions.pdf Accepted Author Manuscript Download (332kB)| Preview

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.

ORCID iDs

McBride, Conor ORCID: https://orcid.org/0000-0003-1487-0886

Nordvall Forsberg, Fredrik ORCID: https://orcid.org/0000-0001-6157-9288

• Share and Export
  

  EP3 XMLRIS (EndNote Online, Zotero, Ref manager, etc)RIOXX2 XMLBibTeXMODSRefWorksSimple MetadataEndNoteMETSRDF+XMLASCII CitationHTML CitationOpenURL ContextObject in SpanRDF+N-TriplesMPEG-21 DIDLRDF+N3Multiline CSVJSONDublin CoreData Cite XMLAtomOpenURL ContextObjectRefer
• Item metadata

  Item type:	Book Section
  ID code:	76626
  Dates:	Date Event 8 January 2021 Published 8 January 2021 Accepted
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	01 Jun 2021 15:33
  Last modified:	13 Dec 2024 01:06
  URI:	https://strathprints.strath.ac.uk/id/eprint/76626