Types for Units-of-Measure: Theory and Practice-Reference-Cited by-同舟云学术

Types for Units-of-Measure: Theory and Practice

Published:2010 Issue: Volume: Page:268-305
ISSN:0302-9743
Container-title:Central European Functional Programming School
language:
Short-container-title:

Author:

Kennedy Andrew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17685-2_8

Reference24 articles.

1. The International System of Units (SI). Technical report, Bureau International des Poids et Mesures (2006)

2. Allen, E., Chase, D., Hallett, J., Lunchangco, V., Maessen, J.-W., Ryu, S., Steele Jr., G.L., Tobin-Hochstadt, S.: The Fortress Language Specification, Version 1.0 (2008)

3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1988)

4. Bird, R.S., Paterson, R.: de brujn notation as a nested datatype. Journal of Functional Programming 9(1), 77–92 (1999)

5. Birkhoff, G.: Hydrodynamics: A Study in Logic, Fact and Similitude. Princeton University Press, Princeton (1960)

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CoSense: Compiler Optimizations using Sensor Technical Specifications;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17

2. A new advance on dimensional-aware scalar, vector and matrix operations in C++;Scientific Reports;2023-10-04

3. Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

4. Towards a Theory of Conversion Relations for Prefixed Units of Measure;Relational and Algebraic Methods in Computer Science;2023

5. Constraint-based type inference for FreezeML;Proceedings of the ACM on Programming Languages;2022-08-29