A proposal for an extended form of type checking of expressions
The Computer Journal
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Dimension inference under polymorphic recursion
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Encoding types in ML-like languages
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A simple proof technique for certain parametricity results
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Encoding types in ML-like languages
Theoretical Computer Science - Mathematical foundations of programming semantics
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
“little language” project modules
Journal of Functional Programming
Rule-based analysis of dimensional safety
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Types for units-of-measure: theory and practice
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
SimCheck: a contract type system for Simulink
Innovations in Systems and Software Engineering
Virtual values for language extension
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
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
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstraction and invariance for algebraically indexed types
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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 |