Fully static dimensional analysis with C++

Dimensional analysis in computer algebra

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

Simple and safe SQL queries with c++ templates

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering

A pragmatic approach to dimensional analysis for mobile robotic programming

Autonomous Robots

Simple and safe SQL queries with C++ templates

Science of Computer Programming

Checking SCADE models for correct usage of physical units

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security

SafeGI: type checking to improve correctness in rendering system implementation

EGSR'10 Proceedings of the 21st Eurographics conference on Rendering