Dimension Types
No abstract available.
DOI 10.1007/3-540-57880-3_23
Related papers
- Intersection type calculi of bounded dimension POPL 2017
- Types, equations, dimensions and the Pi theorem JFP 2026
- Lifting proof-relevant unification to higher dimensions CPP 2017
- Dimensions of Object-Based Language Design OOPSLA 1987
- Experience report: type-checking polymorphic units for astrophysics research in Haskell Haskell 2014
- Object-oriented units of measurement OOPSLA 2004
- Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages CC 2003
- Numeric Domains with Summarized Dimensions TACAS 2004