Types for Units-of-Measure: Theory and Practice

2010/01/01 by Andrew Kennedy · 49 citations
Computer Science · #Advanced Database Systems and Queries #Artificial intelligence #Calculus (dental) #Computer science #Consistency (knowledge bases) #Correctness #Data mining #Logic, programming, and type systems #Measure (data warehouse) #Parallel Computing and Optimization Techniques #Programming language #Theoretical computer science #Type (biology)

paper · doi:10.1007/978-3-642-17685-2_8

published in Lecture notes in computer science, 268-305 (Springer Science+Business Media)

crossref issued 2010/01/01 · crossref published 2010/01/01 · crossref published-print 2010/01/01 · openalex publication_date 2010/01/01 · crossref created 2010/12/06 · crossref deposited 2019/06/06 · openalex created_date 2025/10/10 · crossref indexed 2026/01/09 · openalex updated_date 2026/08/04

Citations

• A theory of type polymorphism in programming
• Complete and decidable type inference for GADTs

Cited by

• The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation
• Negative and Fractional Types in the Fidelity Framework
• The next 700 unit of measurement checkers
• Adaptive Domain Models: Bayesian Evolution, Warm Rotation, and Principled Training for Geometric and Neuromorphic AI
• Dimensional analysis [wikipedia]