Dimension inference under polymorphic recursion
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Relational parametricity and units of measure
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for the recursive definition of data structures
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Programming methodology
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Osprey: a practical type system for validating dimensional unit correctness of C programs
Proceedings of the 28th international conference on Software engineering
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Adding Dimension Analysis to Java as a Composable Language Extension
Generative and Transformational Techniques in Software Engineering II
Extending type systems in a library: Type-safe XML processing in C++
Science of Computer Programming
Modular mathematical modelling of biological systems
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
SafeGI: type checking to improve correctness in rendering system implementation
EGSR'10 Proceedings of the 21st Eurographics conference on Rendering
From parametricity to conservation laws, via Noether's theorem
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |