Author:
Trancón y Widemann Baltasar,Lepper Markus
Publisher
Springer International Publishing
Reference17 articles.
1. Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Free reprint (2006). http://www.tac.mta.ca/tac/reprints/articles/17/tr17.pdf
2. Allen, E., et al.: Object-oriented units of measurement. In: SIGPLAN Not. 39.10, pp. 384–403 (2004). https://doi.org/10.1145/1035292.1029008
3. Cooper, J., McKeever, S.: A model-driven approach to automatic conversion of physical units. Softw. Pract. Exp. 34(4), 337–359 (2007). https://doi.org/10.1002/spe.828
4. Gundry, A.: A typechecker plugin for units of measure. In: Proceedings of Haskell Workshop. ACM (2015). https://doi.org/10.1145/2804302.2804305
5. Hills, M., Chen, F., Roşu, G.: A rewriting logic approach to static checking of units of measurement in C. ENTCS 290, 51–67 (2012). https://doi.org/10.1016/j.entcs.2012.11.011