User:RDBrown/Prog Lang Dimensions

Dimensional analysis


 * Google scholar cites — ML
 * F implementation usage tutorial Google scholar cites


 * — links to the above paper and the book of the same name, showing examples of the multidimensional linear algebra theorems.
 * ISBN 9781461286974 reprint at Springer Google scholar cites
 * 2012 Paperback booko
 * 1995 Hardback booko
 * github.com/pgriffel/pacioli
 * — OCaml
 * — Unit checking libraries
 * github.com/pgriffel/pacioli
 * — OCaml
 * — Unit checking libraries
 * — OCaml
 * — Unit checking libraries
 * — OCaml
 * — Unit checking libraries
 * — Unit checking libraries
 * — Unit checking libraries


 * MetaGen in java?
 * Google scholar cites


 * Usenet search: "Dimensional analysis" "Programming"