User:RDBrown/Prog Lang Dimensions

Dimensional analysis

• Kennedy, Andrew J. (April 1996). Programming languages and dimensions (Phd). Vol. 391. University of Cambridge. ISSN 1476-2986. UCAM-CL-TR-391. Google scholar cites — ML
  • Kennedy, A. (2010). "Types for Units-of-Measure: Theory and Practice". In Horváth, Z.; Plasmeijer, R.; Zsók, V. (eds.). Central European Functional Programming School. CEFP 2009. Lecture Notes in Computer Science. Vol. 6299. Springer. pp. 268–305. CiteSeerX 10.1.1.174.6901. doi:10.1007/978-3-642-17685-2_8. ISBN 978-3-642-17684-5. F# implementation usage tutorial Google scholar cites

• Hart, G. (1994). "The Theory of Dimensioned Matrices". In Lewis, John G. (ed.). Proceedings of Fifth SIAM Conference on Applied Linear Algebra, Snowbird, Utah, June 1994. Society for Industrial and Applied Mathematics. pp. 186–190. ISBN 9780898713367.
• Hart, George W. "Multidimensional Analysis". — links to the above paper and the book of the same name, showing examples of the multidimensional linear algebra theorems.
  • Hart, George W. (1995), Multidimensional Analysis: Algebras and Systems for Science and Engineering, Springer-Verlag, ISBN 978-0-387-94417-3
    • ISBN 9781461286974 reprint at Springer Google scholar cites
  • 2012 Paperback booko
  • 1995 Hardback booko
• Griffioen, P. R. (September 2015). "Type inference for array programming with dimensioned vector spaces". IFL '15: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages. pp. 1–12. doi:10.1145/2897336.2897341. ISBN 978-1-4503-4273-5. S2CID 2419004. ... We extend arrays with units of measurement, and Hindley-Milner typing with a matrix type based on the algebraic structure of units of measurement in matrices that allows type inference up to dimensioned vector spaces. The inference is sound and complete and gives the most general type of any linear algebra expression. Experiments show that the explicit support for linear algebra increases type safety, and that it leads to a more functional and index-free style of programming. It refines the types for linear algebra operators significantly, while the use of arrays as general containers has to be replaced by other data structures. As validation the matrix type system is implemented in the functional matrix language Pacioli.
• Griffioen, P. (2019). A unit-aware matrix language and its application in control and auditing (PDF) (Thesis). University of Amsterdam. hdl:11245.1/fd7be191-700f-4468-a329-4c8ecd9007ba.
  • github.com/pgriffel/pacioli
• Teller, David (January 2020). "Units of Measure in Rust with Refinement Types".
• "CamFort: Specify, verify, and refactor Fortran code". University of Cambridge; University of Kent. 2018. Units-of-measure typing allows you to annotate Fortran source code with units of variables and can automatically check whether units are consistently used and report back where it went wrong if they are inconsistent.
• "UCheck: A Spreadsheet Unit Checker for End Users". Oregon State University. 2012.
• Gundry, Adam (December 2015). "A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell" (PDF). SIGPLAN Not. 50 (12): 11–22. doi:10.1145/2887747.2804305.
• Garrigue, J.; Ly, D. (2017). "Des unités dans le typeur" (PDF). 28ièmes Journées Francophones des Langaeges Applicatifs, Jan 2017, Gourette, France (in French). hal-01503084. — OCaml
• McBride, Conor; Nordvall-Forsberg, Fredrik (2022). "Type systems for programs respecting dimensions" (PDF). Advanced Mathematical and Computational Tools in Metrology and Testing XII. Advances in Mathematics for Applied Sciences. World Scientific. pp. 331–345. doi:10.1142/9789811242380_0020. ISBN 9789811242380.
• Bennich-Björkman, O.; McKeever, S. (2018). "The next 700 unit of measurement checkers". Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. pp. 121–132. doi:10.1145/3276604.3276613. ISBN 978-1-4503-6029-6. — Unit checking libraries
• Muranushi, T.; Eisenberg, R. (December 2014). "Experience report: Type-checking polymorphic units for astrophysics research in Haskell". ACM SIGPLAN Notices. 49 (12): 31–38. doi:10.1145/2775050.2633362.

• Allen, Eric; Chase, David; Luchangco, Victor; Maessen, Jan-Willem; Steele, Guy L. (October 2004). "Object-oriented units of measurement". SIGPLAN Not. 39 (10): 384–403. doi:10.1145/1035292.1029008. MetaGen in java?
  • Allen, Eric; Chase, David; Luchangco, Victor; Maessen, Jan-Willem; Steele, Guy L. (2004). "Object-oriented units of measurement". Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '04). Association for Computing Machinery. pp. 384–403. doi:10.1145/1028976.1029008. ISBN 1581138318. S2CID 10007563. Google scholar cites

• Usenet search: "Dimensional analysis" "Programming"
• Umrigar, Zerksis D. (September 1994). "Fully Static Dimensional Analysis with C++". ACM SIGPLAN Notices. 29 (9): 135–9. doi:10.1145/185009.185036. S2CID 6155765.
• Hilfinger, Paul (April 1988). "An Ada Package for Dimensional Analysis". ACM Transactions on Programming Languages and Systems. 10 (2): 189–203. doi:10.1145/42190.42346. S2CID 12925727.
• Cunis, Roman (April 1992). "A package for handling units of measure in Lisp". ACM SIGPLAN Lisp Pointers. V (2): 21–25. doi:10.1145/1039991.1039994. S2CID 23763685.
• Gehani, N. (1977). "Units of measure as a data attribute". Comput. Lang. 2 (3): 93–111. doi:10.1016/0096-0551(77)90010-8.
• Gehani, N. (June 1985). "Ada's derived types and units of measure". Softw. Pract. Exper. 15 (6): 555–569. doi:10.1002/spe.4380150604. S2CID 40558757.
• Karr, Michael; Loveman, David B. (May 1978). "Incorporation of units into programming languages". Commun. ACM. 21 (5): 385–391. doi:10.1145/359488.359501. S2CID 17066760.
• Cmelik, R. F.; Gehani, N. H. (May 1988). "Dimensional analysis with C++". IEEE Software. 5 (3): 21–27. doi:10.1109/52.2021. S2CID 22450087.